"42.52375#3.08728"^^ . "42.52375"^^ . "3.087288"^^ . . .