//DHTML Menu
var delay = 3000; //time before menu hides itself /ms
var currentMenu = '';
var keepMenuStatus = 0;
var previousTimeoutID;
			
function showMenu(menuID){
	var menuArray = new Array('MenuServices','MenuAbout','MenuExamples','MenuOrdering','MenuProfessionals','MenuWhy','MenuLogon');
	for(var i=0; i<menuArray.length; i++){
		document.getElementById(menuArray[i]).style.visibility = 'hidden';
	}
	document.getElementById(menuID).style.visibility = 'visible';
	currentMenu = menuID;
	keepMenuStatus = 1;
}
function hideMenu(){
	window.clearTimeout(previousTimeoutID);
	previousTimeoutID = window.setTimeout('testAndHideMenu()', delay);
	keepMenuStatus = 0;
}
function keepMenu(){
	keepMenuStatus = 1;
}
function testAndHideMenu(){
	if(currentMenu != '' && keepMenuStatus == 0) {
		document.getElementById(currentMenu).style.visibility = 'hidden';
	}
}
function hideMenuNow(){
	window.clearTimeout(previousTimeoutID);
	if(currentMenu != '') {
		document.getElementById(currentMenu).style.visibility = 'hidden';
	}
}