function GroesseAendern(groesse) {
	top.document.getElementById("InlineFrame_Inhalt").height = groesse;
}