. . "0.280839"^^ . . . . . . . "9"^^ . . . . . . "4"^^ . "9"^^ . .