(function(window, document) {
    var header = $("site-header");
    document.observe("dom:loaded", function() {
        $("quickjump").select("select").invoke("observe", "change", function(changeEvent) {
            window.location.href = $F(this);
        });
        if(!header) {
            header = $("site-header");
            header.addClassName("alt-" + (Math.floor(Math.random()*5) + 1));
        }
    });
    if(header) {
        header.addClassName("alt" + (Math.floor(Math.random()*5) + 1));
    }
    
})(window, document);