/*javascript for maps*/

function viewbigmap()
{
  try{
    var map=document.getElementById("bigmap");
    map.style.visibility="visible";
  } catch(e) {}
}


function closebigmap()
{
  try{
    var map=document.getElementById("bigmap");
    map.style.visibility="hidden";
  } catch(e) {}
}