var t;
var mcount=10;

function getid(id) {
    if (document.getElementById)
        var returnVar = document.getElementById(id);
    else if (document.all)
        var returnVar = document.all[id];
    else if (document.layers)
        var returnVar = document.layers[id];
    return returnVar;
}

function hidm(){
t=setTimeout('hidall()',500);
}

function hidall() {
for(i=1;i<mcount;i++) {
	var m=getid("menu"+i);
	if (m) m.style.visibility="hidden";
	}
}

function showm(m) {
clearTimeout(t);
hidall(5);
var n=getid(m);
if (n) n.style.visibility='visible';
}