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