"0.253215"^^ . . . "3"^^ . "11"^^ . . . . . . . . "11"^^ . . . . . . .