function set_div_heights(){
	var text = document.getElementById('text');
	var txt = document.getElementById('txt');
	var main = document.getElementById('main');
	var copyright = document.getElementById('copyright');
	var client_h =  document.body.clientHeight;
	var text_h = document.getElementById('text').offsetHeight;
	var main_h = document.getElementById('main').offsetHeight;
	var final_h = text_h + 177;

	main.style.height = client_h   + "px";
	txt.style.height = client_h - 227 + "px";
	copyright.style.top = client_h  - 40  + "px";		
}