// JavaScript Document

//resize main div
function resizeDivTo(div_id, div_height){
 	var div = document.getElementById(div_id);
	if(div.offsetHeight < div_height){
  		var h = div.offsetHeight + 1 + div.offsetHeight/11;
  		div.style.height = h+'px';
  		window.setTimeout("resizeDivTo('" + div_id +"'," + div_height + ");", 30);
			
 	}
}