function showmenu(id)
{
	if (document.getElementById(id))
      document.getElementById(id).style.visibility="visible";
}

function hidemenu(id)
{
	if (document.getElementById(id))
      document.getElementById(id).style.visibility="hidden";
}

function isMouseLeaveOrEnter(e, handler)
{
     if (e.type != 'mouseout' && e.type != 'mouseover') return false;
     var reltg = e.relatedTarget ? e.relatedTarget :
     e.type == 'mouseout' ? e.toElement : e.fromElement;
     while (reltg && reltg != handler) reltg = reltg.parentNode;
     return (reltg != handler);
}