. . . "3"^^ . "5"^^ . . . "0.713851"^^ . "5"^^ . . . . .