function doResize()
{
  var leftcontent = document.getElementById("div_content_left");
  var minheight   = leftcontent.offsetHeight;
  var height      = document.documentElement.clientHeight - 300;
  height = (height < minheight) ? minheight : height;
  document.getElementById('div_content_right').style.height = height + 'px';
}