function syncToc(){
	// if page was loaded from somewhere other than the TOC, sync up the TOC
	if (top.frames.length) {
    top.frames[1].doFire(document.location);
	} 
}
syncToc();
function detect(){
	framesetpage="index.html";
	if (parent.location.href==window.location.href) {
		thispage=window.location.href;
		suffix=thispage.substring(thispage.lastIndexOf('/') + 1,thispage.length);
		parent.location.href=framesetpage+"?&&&"+suffix
	}
}

detect();