function correct_layout()
{
 if (document.getElementById('box_links').offsetHeight)
   {
      var div_heights = new Array(
         document.getElementById('box_rechts').offsetHeight,
         document.getElementById('box_links').offsetHeight
      );

      div_heights = div_heights.reverse(div_heights.sort(num_sort));
      var style_height = div_heights[0] + "px";
      document.getElementById('box_rechts').style.height = style_height;
      document.getElementById('box_links').style.height = style_height;
   }
}

function num_sort(a,b)
{
   return a-b;
}