if (window.top.main != null){
	;
}
else{
	if(top.location.pathname.substr(1,5)!="index")
		top.location="index.php?i=" + window.document.location;
}