function getid(id){
			return document.getElementById(id);
}

function init(){
		if (getid("tartalom_menu").offsetHeight+50>getid("tartalom_foresz").offsetHeight) getid("tartalom_foresz").style.height=getid("tartalom_menu").offsetHeight+50+"px";
}