var menuTimer = null;
var menuTimeout = 700;	// Timeout setting for menu disappearing.
var currentMenu = null;

function menuOpen(a) {
	clearTimeout(menuTimer);
	if (currentMenu) {
		currentMenu.style.visibility="hidden";
		currentMenu = null;
	}

	obj = document.getElementById(a); 
	if(obj){
		obj.style.visibility="visible";
		currentMenu = obj;
	}
}
function menuClose(a) {
	obj = document.getElementById(a); 
	if(obj){
		clearTimeout(menuTimer);
		menuTimer = setTimeout(function(){obj.style.visibility = "hidden"}, menuTimeout);
	}
}

// Op verzoek van de klant geen lazy menu.
menuTimeout = 0;