. . . "3"^^ . . "0.200057"^^ . "13"^^ . . "7"^^ . . . . . . . . . . . . .