"0.387415"^^ . . . "3"^^ . . "2"^^ . . "2"^^ . . .