
	var g_left = 592;
	var g_margin = 60;
	
	function laufschleife()
	{
		var width = document.getElementById("lauftext").clientWidth;
		
		
		
		g_left = g_left -1;
		if(g_left <= -(width +g_margin)){
			g_left = 0;
		}
		
		document.getElementById("lauftext").style.left = g_left + "px";
		
		laufschrifttakt = setTimeout("laufschleife()",15);
	}