/* 	Test to see if the document that has this script includes 
	is opened via a frameset or not. If it is not (the document and 
	its parent is the same document), redirect the page to the frameset 
	and load it via the frameset, frameset.php?Page=current page
*/
if (self.location==parent.location) self.location='/index.php?Page='+self.location;


//Test to see if the correct tab is highlighted in the topmost menu, if not select the appropriate tab and subtitle
function checkNavigation(div, header){
if (top.topmenu.defaultHeader!=header) {
	top.topmenu.select(div, header);
	top.topmenu.toggleVisibility(div);	
}

}