var IE  = document.all
var NS  = document.layers
var NS6 = (!IE && document.getElementById)
var m_timerID = 0;

function m_showMenu(onoff){
	m_clearTimeout();

    visOn  = (NS) ? "show" : "visible";
    visOff = (NS) ? "hide" : "hidden";

    if(IE)       document.all["divPuMenu"].style.visibility = onoff ? "visible" : "hidden";
    else if(NS)  document.layers["divPuMenu"].visibility = onoff ? "show" : "hide";
    else         document.getElementById("divPuMenu").style.visibility = onoff ? "visible" : "hidden";
}

function m_clearTimeout(){
	clearTimeout(m_timerID);
    m_timerID = 0;
}

function m_hide(){
	if(!m_timerID)  m_timerID = setTimeout("m_showMenu(0);", 600);
}

function m_cancel(){
	m_clearTimeout();
}