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';
  }