// Custom Functions

var currentmenu = "";

function ShowMenu(menuname) {
   if(document.getElementById){
      if(document.getElementById(menuname)) {
	 if(currentmenu != menuname) {
	    HideMenu(currentmenu);
	 }
	 menu = document.getElementById(menuname);
	 menu.style.visibility = "visible";
	 currentmenu = menuname;
      }   
   }
}

function HideMenu() {
   if(document.getElementById) {
      if(document.getElementById(currentmenu)) {
	 menu = document.getElementById(currentmenu);
	 menu.style.visibility = "hidden";
	 currentmenu = "";
      }
   }
}
