function pageHighlightMenu() {
	var pageId = Number(document.getElementById("page_id").innerHTML);
	document.getElementsByName("lmnu")[pageId].style.backgroundColor="#6E8360";
	document.getElementsByName("lmnu")[pageId].style.color="#CCC";
}