if (top.frames.length == 0) {
    var ar = document.URL.split('/');
    ver = parseInt(navigator.appVersion, 10);
    if ( ((navigator.appName == "Netscape") && (ver >= 3)) ||
         ((navigator.appName == "Microsoft Internet Explorer") && (ver >= 4)) )
      location.replace("index.php);
    else
      location = "index.php";
    };
~