if(top.location.pathname.indexOf("index.html")==-1)
{
   var myname=location.pathname;
   var i=myname.lastIndexOf("/");
   if(i<1) i=myname.lastIndexOf("\\");
   myname=myname.substr(i+1);
   top.location.href="index.html?contents="+myname;
}