// JavaScript Document

// Break out of Javascript frames
if(top.location!=self.location)
{
    //top.location=self.location;
	top.location.replace(self.location);
}

// Set menu style by assigning CSS classes
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";
	}
}