if (top.location.href != self.location.href)
    top.location.href = self.location.href;

var google_blocked  = false;
var do_check_google = false;
var is_netscape     = false;
var version         = "";

var browserName = navigator.appName;
var browserVer = parseInt(navigator.appVersion);
if ((browserName.indexOf("Netscape") >= 0) || (browserName.indexOf("Mozilla") >= 0)) is_netscape = 1;
if ((browserName.indexOf("Netscape") >= 0 && browserVer >= 3) || (browserName.indexOf("Explorer") >= 0 && browserVer >= 4) || (browserName.indexOf("Mozilla") >= 0 && browserVer >= 5) || (browserName.indexOf("Opera") >= 0) || (browserName.indexOk("Konquerer") >= 0)) version = "ok";

function do_redirect() {
    if (google_blocked) return;
    var sel_index = document.redirect.redirect.selectedIndex;
    if (sel_index < 0) return;
    var value = document.redirect.redirect.options[sel_index].value;
    if (value == "0") return;
    top.location = value;
    return;
}

function say(arg) {
    if (version == "ok") window.status=arg;
    return false;
}

function check_google() {
    if (!do_check_google) return;
    if (!is_netscape) return;  // only target mozilla ad-blockers
    google_blocked = true;
    var allFrames = document.evaluate('//iframe', document, null, XPathResult.UNORDERED_NODE_SNAPSHOT_TYPE, null);
    for (var i = 0; i < allFrames.snapshotLength; i++) {
        frame = allFrames.snapshotItem(i);
        frameSource = frame.src;
        if (frameSource.indexOf("google") != -1) {
            google_blocked = false;
            break;
        }
    }
    if (google_blocked) {
        links = document.links;
        for (var i = 0; i < links.length; i++) {
            a = links[i];
            if (a.href.indexOf('/exec/') != -1) {
                a.href = 'javascript:onClick=alert("Navigation to tools is disabled while ads are blocked.")';
            }
        }
    }
}

function get_date() {
    var days = new Array('Sun', 'Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat');
    var months = new Array('Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec');
    var d = new Date();
    var day = days[d.getDay()];
    var month = months[d.getMonth()];
    var date = d.getDate()
    var year = d.getYear();
    if (year < 200) year += 1900;
    var hours = d.getHours();
    var ampm;
    if (hours > 12) {
            hours -= 12;
            ampm = 'p';
    } else if (hours == 12) {
            ampm = 'p';
    } else if (hours == 0) {
            hours = 12;
            ampm = 'a';
    } else {
            ampm = 'a';
    }
    if (hours <= 9) hours = '0' + hours;
    var mins = d.getMinutes();
    if (mins <= 9) mins = '0' + mins;
    var secs = d.getSeconds();
    if (secs <= 9) secs = '0' + secs;

    var str = day + ', ' + month + ' ' + date + ', ' + year + ', ' + hours + ':' + mins + ':' + secs + ampm;
    return str + '&nbsp;&nbsp;';
}