function SetControlWidth(controlID, docWidth, offset) {
    var obj = document.getElementById(controlID);

    if (obj != null) {
        docWidth = docWidth - offset;
        obj.style.width = docWidth + 'px';
    }
}