timerMenu = null;
timerMenuMillisecond = 500;

function hideMenu1(e) { MM_showHideLayers('Menu1','','hide'); return false; }

function showMenu1() {
	MM_showHideLayers('Menu1','','show');
	clearTimeout(timerMenu);
	return false;
}
function autoHideMenu1() {
	clearTimeout(timerMenu);
	timerMenu = null;
	timerMenu = setTimeout("hideMenu1()",timerMenuMillisecond);
}

if (is_nav) {
	document.Menu1.onMouseOut=autoHideMenu1;
	document.Menu1.onMouseOver=showMenu1;
}