function toggle_info_window (window)
 {
 if (window.style.display == "none")
   {
   window.style.display = "block";
   }
 else
   {
   window.style.display = "none";
   }
 }