"47.82343#7.17049"^^ . "47.823433"^^ . "7.17049999999995"^^ . . .