// JavaScript Document
function getHeight() {
    var heightInt;
    if ( typeof( window.innerHeight) == 'number' ) {
            heightInt = window.innerHeight  ;
    }
    else if( document.documentElement && ( document.documentElement.clientHeight)) {
        heightInt = document.documentElement.clientHeight;
    }
    return [ heightInt ];
}


function setBodydivHeight() {
    var int;
    int = getHeight() - 133;
    document.getElementById("bodycontent").style.height = int;
}