/* javascript functions to show map */

function showMap()
{
  var map=document.getElementById("largemap");
  map.style.visibility="visible";
}

function hideMap()
{
  var map=document.getElementById("largemap");
  map.style.visibility="hidden";
}