function hideMenus() {
	document.getElementById("services").style.display = "none";
	document.getElementById("projref").style.display = "none";
//	document.getElementById("downloads").style.display = "none";
//	document.getElementById("howto").style.display = "none";
//	document.getElementById("links").style.display = "none";
}

// showHideMenu - shows/hides the chosen menu on the left
function showHideMenu(menu_name) {
	menu = document.getElementById(menu_name);

	if (menu.style.display == "none") {
		hideMenus();
		menu.style.display = "";
	}
	else {
		menu.style.display = "none";
	}
}