"0.800861"^^ . "10"^^ . "4"^^ . . . . . . . . . . . . . "9"^^ . . . .