function highlight(target) {
			target.style.height=24;
		}
		function dehighlight(target) {
			target.style.height=18;
		}
		function init() {
			// Wird benötigt um das Hauptfenster auf maximale Größe zu setzen!
			//if (navigator.appName == "Microsoft Internet Explorer") {
				var timerID = 0;	
				timerID = setInterval("resize_content_window()", 100);
			//}
		}
		
		function resize_content_window(){
			document.getElementById('main_content').style.height = document.body.offsetHeight - 300;
			document.getElementById('text').style.height =  document.body.offsetHeight - 320;
		}