"0.252463"^^ . . . "3"^^ . "2"^^ . . . "3"^^ . . .