function hightlightMenu(showid) 
{
    if(showid != null && showid != '')
        document.getElementById(showid).style.cssText = "background: #0000FF url(Images/Menu_select.gif) repeat-x;";
}

function ResizeBorders(centerDivId, leftDivId, rightDivId) {
    if (centerDivId != null && leftDivId != null && rightDivId != null &&
    centerDivId != '' && leftDivId != '' && rightDivId != '') 
    {
        document.getElementById(leftDivId).style.height = document.getElementById(centerDivId).offsetHeight+'px';
        document.getElementById(rightDivId).style.height = document.getElementById(centerDivId).offsetHeight + 'px';
    }
}