function p_view(source) {
		$('ul li ul').hide("slow");
		if($(source).css('display')=='none') {
			$(source).show("slow");
		} else {
			$(source).hide("slow");
		}
	}
	
	  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';
  }