function makeVisible(whichNavs){
	document.getElementById(whichNavs).style.display=(document.getElementById(whichNavs).style.display=="none")?"block":"none";
}