var timer=new Object;

function show_menu(which)
{
	element=document.getElementById(which);
	if (!element)
		return;

	if (timer[which])
		clearTimeout(timer[which]);
		
	document.getElementById(which).style.visibility='visible';
}

function hide_menu(which)
{
	element=document.getElementById(which);
	if (!element)
		return;

	timer[which]=setTimeout("reset_menu('"+which+"')", 200);
}

function reset_menu(which)
{
	element=document.getElementById(which);
	if (!element)
		return;
		
	element.style.visibility='hidden';
}