. . . . "0.707718"^^ . . . "8"^^ . "5"^^ . . . . "7"^^ . . . . . .