"0.754387"^^ . . "3"^^ . . "3"^^ . . "3"^^ . . . . .