function getDiv( id ) 
	{
	if (document.all) {return document.all[id].style;} 
	else {return document.getElementById(id).style;} 
	return 0; 
	}

function showMenu() 
	{
	var dv = getDiv("navmenu");
	if (dv) 
		{
		dv.visibility = "visible";
		}
		return 0;
	}

function hideMenu() 
	{
	var dv = getDiv("navmenu");
	if (dv) 
		{
		dv.visibility = "hidden";
		}
		return 0;
	}
	var menuTimer = 0;

function sT() 
	{
	menuTimer = setTimeout("hideMenu()",1000);
	}

function cT() 
	{
	clearTimeout(menuTimer);
	}