"0.623712"^^ . . "4"^^ . "2"^^ . . . "4"^^ . . . . .