"0.249767"^^ . . . "2"^^ . . "2"^^ . "2"^^ . . .