var ThisPage = window.location.href;
var topFile = "index.html";
ThisPage=ThisPage.substring(ThisPage.lastIndexOf("/")+1);
	if (ThisPage.indexOf(topFile)<=0) {
	window.location.replace(topFile +"?f=" + ThisPage);
}