function updateMenu(mid) {
	if (mid) {			// We need this check for the homepage, in which there is no menu item to highlight
		switch(mid) {
			case "menuServices":
				var menuText = "Services";
				break
			case "menuTC":
				var menuText = "Total Coordination";
				break
			case "menuConsulting":
				var menuText = "Consulting";
				break
			case "menuProjects":
				var menuText = "Projects";
				break
			case "menuAbout":
				var menuText = "About Us";
				break
			case "menuContact":
				var menuText = "Contact";
				break
			}
		document.getElementById(mid).className = "selectedItem";
		// document.getElementById(mid).innerHTML = menuText;		// For turning the href off
	}
	
	//
	// Always update the language switcher URL: 
	//
	var oldURL = document.getElementById("ls_ja").href;
	var newURL = oldURL.replace(/\/en\//, "/ja/");
	newURL = newURL.replace(/#/, "");
	document.getElementById("ls_ja").href = newURL;

	var oldURL = document.getElementById("ls_de").href;
	var newURL = oldURL.replace(/\/en\//, "/de/");
	newURL = newURL.replace(/#/, "");
	document.getElementById("ls_de").href = newURL;

	}