<!--
function correct_layout() {
if(document.getElementById('left').offsetHeight) {
  var div_heights = 
    new Array(
      document.getElementById('left').offsetHeight,
      document.getElementById('right').offsetHeight
    );
  div_heights = div_heights.reverse(div_heights.sort(num_sort));
  var style_height = div_heights[0];
  document.getElementById('left').style.height = style_height + "px";
  document.getElementById('right').style.height = style_height - 30 + "px";
  }
}
function num_sort(a,b) {
return a-b;
}
//-->