function resizeMain() {

    var bodyHeight = document.documentElement.clientHeight
    var headerHeight = document.getElementById("divHeader").offsetHeight
    var footerHeight = document.getElementById("divFooter").offsetHeight
    var mainHeight = bodyHeight - headerHeight - footerHeight - 23
    if (mainHeight < 300)
	mainHeight=300
    var mainHeaderHeight = document.getElementById("divMainHeader").offsetHeight + 10

    document.getElementById("divMain").style.height = mainHeight + "px"

    var mainInnerHeight = mainHeight - mainHeaderHeight
    document.getElementById("divMainInner").style.height = mainInnerHeight + "px"

    if (self.resizeRightBox)
        resizeRightBox()
}

window.onload=resizeMain
window.onresize=resizeMain