var stdDOM  = document.getElementById;
    var headers = new Array();
	headers[1] = 1;
headers[2] = 1;
headers[3] = 1;
headers[4] = 1;
headers[5] = 1;
headers[6] = 1;
headers[7] = 1;
headers[8] = 0;
headers[9] = 1;


    function genHeader(dir) {
        if (headers[dir]) {
            var n = Math.floor(Math.random() * headers[dir]) + 1;
            url = dir + "/" + n + ".jpg";
        } else {
            url = "default.jpg";
        }
        return url;
    }
    function newHeader(dir) {
        var url = genHeader(dir);
        if (parent.header) {
            parent.header.nuppleHeader(url);
        } else {
            // alert("navig not found");
        }
    }
    function nuppleHeader(url) {
        dom = document.getElementById('headerpic');
        if ((stdDOM) && (dom != null)) {
            dom.src = "/images/header/" +  url;
        }
    }

    function randHeader(dir) {
        var url = genHeader(dir);
        document.write('<img id="headerpic" src="/images/header/' + url +'" width="693" height="78" alt="" />');
    }