/* Routine checks to see if page is within a frameset */
/* If not, it calls the frameset, passing its name as a parameter */
/* If yes, check whether this page's stylesheet matches that of the index frame & if not reload the index frame */

if (parent.location.href == self.location.href) {
	top.location.href = "/Default.html?" + location.pathname;
}

else if (top.myStyle(document.styleSheets[0].href) != top.myStyle(top.idx.document.styleSheets[1].href)) {
	top.idx.location.reload(1);
}