var activeMenu = "";
var hideMenuTimerEnabled=0;
var hideMenuTimer;

function HL(el){el.className="OPT_HOVER";}
function DL(el){el.className="OPT";}


function enableHideTimer(){hideMenuTimer = self.setTimeout('hideMenu()', 2000);}
function disableHideTimer(){self.clearTimeout(hideMenuTimer);}

function showMenu(el){
	if(activeMenu != ""){
		activeMenu.style.visibility="hidden";
		self.clearTimeout(hideMenuTimer);
		}
	activeMenu=el;
	el.style.visibility="visible";
	hideMenuTimerEnabled=1;
	hideMenuTimer = self.setTimeout('hideMenu()', 2000);
	}
function hideMenu(){activeMenu.style.visibility="hidden";}