//<!--
//<![CDATA[
	  function menuhide(menunum)
	  {
	    var currentmenu = document.getElementById("navbody" + menunum);
	    currentmenu.style.visibility = 'hidden';
	  }

	  function menushow(menunum)
	  {
	    var currentmenu = document.getElementById("navbody" + menunum);
	    currentmenu.style.visibility = 'visible';
	  }
//]]>
//-->