// JScript File
        function windowHeight(){
            var alto= 0;
            if( typeof( window.innerWidth ) == 'number' ) {
                alto= window.innerHeight;
            } else if( document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {
                alto= document.documentElement.clientHeight;
            } else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) {
                alto= document.body.clientHeight;
            }
            return alto;
        }
        function windowWidth(){
            var alto= 0;
            if( typeof( window.innerWidth ) == 'number' ) {
                alto= window.innerWidth;
            } else if( document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {
                alto= document.documentElement.clientWidth;
            } else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) {
                alto= document.body.clientWidth;
            }
            return alto;
        }
        function setMenu(){
            winH = windowHeight(); //This returns the screen heigth
            heightNeeded=winH - 500; //We need to substract the header and footer height
            if (heightNeeded>0){
                if( typeof( window.innerWidth ) != 'number' ) { //Explorer doesn't recognize minHeight
                    document.getElementById('padInfo').style.height=(heightNeeded*.10)+'px'; //So, we use height (and explroer bug)
                }
                document.getElementById('padInfo').style.minHeight=(heightNeeded*.10)+'px'; //For every other browser, we use minHeight
            }
        }