"42.58391#8.82203"^^ . "42.583916"^^ . "8.822034"^^ . . .