function updateMenu(mid) {
	if (mid) {			// We need this check for the homepage, in which there is no menu item to highlight
		document.getElementById(mid).firstElementChild.className = "selectedItem";
	 }
	
	//
	// 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;

}