"0.387498"^^ . . . "4"^^ . . "2"^^ . . "4"^^ . . . .