/*************************
  nav.js -
  JavaScript elements for basic navigation.
  ***********************/
  
function showmenu(elmnt)
	{
	document.getElementById(elmnt).style.visibility="visible";
	}
function hidemenu(elmnt)
	{
	document.getElementById(elmnt).style.visibility="hidden";
	}