function AdjustSize()
{
    if (!document.getElementById)
        return;

    var windowHeight = 0;
    if (self.innerHeight)
        windowHeight = self.innerHeight;
    else if (document.documentElement && document.documentElement.clientHeight)
        windowHeight = document.documentElement.clientHeight;
    else if (document.body)
        windowHeight = document.body.clientHeight;

    var tdRight = document.getElementById("right");

    if (tdRight == null)
        return;

    if (tdRight.offsetHeight < (windowHeight - 95))
        tdRight.style.height = (windowHeight - 95) + "px";
}