// Reset size upon loading the page (event handler)
function F_wndResetSize( e ) {
    window.onresize = F_wndAdaptSizeHandler;
    if (F_client.isNN4up) {
        window.captureEvents(Event.RESIZE);
    }
    if (F_client.isNN4up) {
        docWidth  = window.innerWidth;
        docHeight = window.innerHeight;
    } else if (F_client.isIE4up) {
        docWidth  = document.body.clientWidth;
        docHeight = document.body.clientHeight;
    }
    if (top.F_firstInit) {
        if (docWidth > 660 && docHeight > 520)
            F_wndAdaptSizeHandler();
        else
            F_wndResizeView(top, 660+1, 520+1);
        top.F_firstInit = false;
    } else {
        return F_wndAdaptSizeHandler(e);
    }
}

function F_wndAdaptSizeHandler( e ) {
    F_wndAdaptSize(660, 520);
    return true;
}