
<!--
		function changeStatusBar(text){
			window.status=text;
			return true;
		}
		
		function hide(){
			document.getElementById('fenster').style.visibility='hidden';
		}
			
		function makeVisible(e){
			if(navigator.appName=="Netscape"){
				X=e.pageX;
				Y=e.pageY;
			}else{
				X=window.event.clientX+document.body.scrollLeft;
				Y=window.event.clientY+document.body.scrollTop;
			}
			X+=20;
			Y-=20;
			document.getElementById("fenster").style.top=Y;
			document.getElementById("fenster").style.left=X;
			document.getElementById("fenster").style.visibility="visible";
		}
-->