"0.228253"^^ . . . "4"^^ . . . "2"^^ . "4"^^ . . . .