// JavaScript Document
function setMenuStyle() {
	var pageID = window.location.href.substring(window.location.href.lastIndexOf("/")+1);
	if (pageID == null || pageID == "") {
		pageID = "index.html";
	}
	var menuObject = document.getElementById(pageID);
	if (menuObject) {
		menuObject.className = "menuSelected";
	}
}