var tms = new Array();

function over(menu, index)
{
   if(typeof(tms[index])!="undefined")
   	{
   		clearTimeout(tms[index]);
	}
   document.getElementById(menu).style.visibility="visible";
}
function out(menu, index)
{
	tms[index]=setTimeout("document.getElementById('" + menu + "').style.visibility='hidden';",250);
}