var shut = false;

function show()
{
	shut = false;
	document.getElementById('popup_menu').style.visibility='visible';
}

function hide()
{
	shut = true;
	setTimeout('close()', 3000)
}

function close()
{
	if (shut)
	{
		document.getElementById('popup_menu').style.visibility='hidden';	
	}
}