function resizebars(){
  var intElemOffsetHeight = document.getElementById('content_area').offsetHeight;
  var ElemOffsetHeight ="";
  ElemOffsetHeight = intElemOffsetHeight.toString();
  ElemOffsetHeight =ElemOffsetHeight +"px";
  if(document.getElementById("left_col")!=null) document.getElementById('left_col').style.height=ElemOffsetHeight;
  if(document.getElementById("right_col")!=null) document.getElementById('right_col').style.height=ElemOffsetHeight;
}