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