var strMenuName = "";
var timer = new Array(100);
var timeOut = 150; // Menu verdwijnt na dit aantal ms tenzij het menu weer geactiveerd wordt

function showMenu(fStrName)
{
   resetTimer(fStrName);
   var div =  document.getElementById('mn_' + fStrName);
   if(div)
   { 
      div.style.visibility = 'visible';
      div.style.display    = 'block';
		
		div.onmouseover = function() { showMenu(fStrName); };
		div.onmouseout = function() { startTimer(fStrName); };
   }
}


function hideMenu(fStrName)
{
   var div =  document.getElementById('mn_' + fStrName);
   if(div)
   {
      div.style.visibility = 'hidden';
      div.style.display    = 'none';
   }
}


function startTimer(fStrName) 
{
	timer[fStrName] = setTimeout("hideMenu(" + fStrName + ");", timeOut);
}


function resetTimer(fStrName) 
{
	clearTimeout(timer[fStrName]);
}