function showmenu(name)
    {
	m=document.getElementById(name);
	if (m.to) m.to.cancel();
	to=new timeOut("doshow('"+name+"')",250);
	m.to=to;
//	m.style.visibility="visible";
    }

    function hidemenu(name)
    {
	m=document.getElementById(name);
	if (m.to) m.to.cancel();
//	alert(m.id);
	to=new timeOut("dohide('"+name+"')",250);
	m.to=to;
//	m.style.visibility="hidden";
    }

    function doshow(name)
    {
	m=document.getElementById(name);
	m.style.visibility="visible";
    }

    function dohide(name)
    {
	m=document.getElementById(name);
	m.style.visibility="hidden";
    }