var p=location.href;
var f=p.substring(p.lastIndexOf("/")+1,p.length);
if(top.location==location)
{
var s="index.html";
location =s;
}