<!--

/* ---------- title lauftext fuer ie ---------- */

	var repeat = 0;
	var title = document.title;
	var leng = title.length;
	var start = 1;

	function titlescroll()
	{
		titl = title.substring(start, leng) + " " + title.substring(0, start);
		document.title = titl;
		start++;
		if (start == leng + 1)
		{
			start = 0;
			if (repeat == 0)
			return;
		}
		setTimeout("titlescroll()",140);
	}

	if (document.title)
	{
		setTimeout("titlescroll()",2000);
	}

//-->