function hoverOn(image) { 
        image.src = image.src + "_on";
    }

    function outOff(image) {
        image.src = image.src.replace(/_on/,"");
    }
    
    function adjustHeight () {
        h = document.documentElement.scrollHeight;
        if ( document.getElementById ) {
                    o_page_body = document.getElementById ("page_body");
                    o_page_header = document.getElementById ("page_header");
        } 
        else 
            return;
        
        o_page_body.style.height = (h-o_page_header.scrollHeight).toString() +"px";
    }