"0.257988"^^ . . . . "2"^^ . . "3"^^ . . "3"^^ . .