function googleEarth() {
/*
  if (document.getElementById("googleEarthButton")!=null) {
    var nuovo=document.getElementById("googleEarthDestination");
    var vecchio=document.getElementById("googleEarthButton");;
    //document.getElementById("mappa").replaceChild(nuovo,vecchio);
    nuovo.innerHTML=vecchio.innerHTML;
    vecchio.innerHTML="";
  }
  */
  return;
}