function correct_layout() {
   if(document.getElementById('rightcol').offsetHeight) {
      var div_heights = new Array(
        document.getElementById('rightcol').offsetHeight,
        document.getElementById('leftcol').offsetHeight
      );
      div_heights = div_heights.reverse(div_heights.sort(num_sort));
      var style_height = div_heights[0] + "px";
      document.getElementById('leftcol').style.height = style_height;
      document.getElementById('rightcol').style.height = style_height;
   }
}
function num_sort(a,b) { 
   return a-b; 
}