function SetControlHeight(controlID, docHeight, offset) {
    var obj = document.getElementById(controlID);

    if (obj != null) {
        docHeight = docHeight - offset;
        obj.style.height = docHeight + 'px';
    }
    //alert("SetControlHeight");
}