"0.747504"^^ . "4"^^ . . "2"^^ . "4"^^ . . . . . . .