var myTimer;
	function openMenu(menu) {
		closeAllMenus();
		document.getElementById(menu).style.display="block";
		}
	function closeMenu(menu) {
		myTimer = window.setTimeout("closeAllMenus();","300");
		}
	function closeAllMenus() {
		document.getElementById("solutionsMenu").style.display="none";
		document.getElementById("companyMenu").style.display="none";
		MM_swapImgRestore();
		// document.getElementById("menu2").style.display="none";
		// document.getElementById("menu3").style.display="none";
		}
	function stopTimer() {
		window.clearTimeout(myTimer);
		}