function autoSize() {
	if (top.document.getElementById('content').offsetHeight <= document
			.getElementById("imenue").contentWindow.document
			.getElementById('menue').offsetHeight) {

		top.document.getElementById('content').style.height = (top.document
				.getElementById("imenue").contentWindow.document
				.getElementById('menue').offsetHeight)
				+ 'px';
	}
}