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