<!--
	function banner(){
		if (document.lauftextform) {
			var time;
			lauftext=lauftext.substring(1,lauftext.length)+lauftext.substring(0,1);
			document.lauftextform.text.value=lauftext;
			time=setTimeout("banner()",120); // Geschwindigkeit
		}
	}
//-->