// JScript File

function resize()
{
    this.document.getElementById("left").style.height = (this.document.getElementById("main").offsetHeight - 2) + "px";
}