<!--
var curMenu=null;
var timeoutID=0;
function showMenu(objMenu) {
	hideMenu();
	objMenu.style.display="block";
	curMenu=objMenu;
	clearTheTimeout();
}
function hideMenu() {
	if(curMenu!=null) {
		curMenu.style.display="none";
		curMenu=null;	
	}
}
function clearTheTimeout() {
	if(timeoutID!=0) {
		window.clearTimeout(timeoutID);
		timeoutID=0;
	}
}
function hideMenuAfter(secs) {
	clearTheTimeout();
	timeoutID=window.setTimeout("hideMenu()",secs*100);
}
//-->