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