function getFileName(str) {
	var i=str.indexOf('?');
	var t;
	if (i>=0)
		t=str.substr(0,i);
	else
		t=str;
	i=t.lastIndexOf('/');
	return t.substr(i);
}

	var s=getFileName(top.location.href);
    if(s!="/index.html" && s!=0 && s!="/")
        top.location.href="../index.html?="+top.location.href;
        