function resize_div(id){
	obj = document.getElementById(id);
	var objhoehe = obj.offsetHeight;
	var fensterhoehe = window.innerHeight;
	if (!fensterhoehe) fensterhoehe = document.body.clientHeight;
	var sollhoehe = fensterhoehe - 150;
	//alert(objhoehe + " und " + sollhoehe);
	if (objhoehe < sollhoehe) {
	obj.style.height = sollhoehe + "px";
	}
}