function MM_showHideLayers(arg) { //v9.0
if(document.getElementById("dismenu")){
  if(arg == "show")
     document.getElementById("dismenu").style.display="block";
  if(arg == "hide")
     document.getElementById("dismenu").style.display="none";
}
}