function flash_resize(container_id,hoehe) {
	// alert(container_id+" - "+hoehe);
	document.getElementById(container_id).style.height=hoehe +"px";
}