function resize(){ 
	document.getElementById("mainbody").style.height = document.body.offsetHeight - 136; 
}