"0.475057"^^ . "10"^^ . "4"^^ . . . "6"^^ . . . . . . . . . . . . . .