function fixLinks() {
    if (!document.getElementsByTagName) return null;
    var server = document.location.hostname;
    var anchors = document.getElementsByTagName("a");
    for (var i = 0; i < anchors.length; i++) {
        var a = anchors[i];
        var href = a.href;
        var id = a.id;
        var title = a.title;
        if (href.indexOf("#header") != -1) {
            // back to top
            a.className = "alt";
        } else if ((href.indexOf("#") != -1) && (href.indexOf("header") == -1)) {
            // jump ref
            var index = href.indexOf("#") + 1;
            href = "javascript:show('" + href.substring(index) + "');";
            a.setAttribute("href", href);
        }
    }
}

function hideDivs(exempt) {
    if (!document.getElementsByTagName) return null;
    if (!exempt) exempt = "";
    var divs = document.getElementsByTagName("div");
    for (var i = 0; i < divs.length; i++) {
        var div = divs[i];
        var id = div.id;
        if ((id.indexOf("subtext") != -1) && (id != exempt)) {
            div.className = "hidden";
        }
    }
}

function show(what) {
    if (!document.getElementById) return null;
    showWhat = document.getElementById(what);
    showWhat.className = "";
    hideDivs(what);
}

window.onload = function() {
    fixLinks();
    hideDivs("subtext1");
}