/* <![CDATA[ */

    function init() {
        window.onresize = resizeScrollingWindow;
        resizeScrollingWindow();
    }
    
    function resizeScrollingWindow() {
        var scrollingWindow = document.getElementById("scrollingWindow");
        var windowheight = (!document.all) ? window.innerHeight : document.documentElement.offsetHeight;
        scrollingWindow.style.height = (windowheight - 170) + "px";
    }
    
/* ]]> */