"0.417573"^^ . . "4"^^ . . . "2"^^ . "4"^^ . . . . .