"47.39#1.25"^^ . "47.39"^^ . "1.25000134"^^ . . .