var DHTML = 0;

function DHTML_init() {
if(document.getElementById) {
	DHTML = 1;}
}
DHTML_init();


var x=0; pos=0, speed=0;
var l=tl[0].length;
function textticker()
// fuellt die Textbox "ticker" mit Werten aus dem array t1
{
  var Elem;
  var Text;
  if(DHTML) {
    Elem = document.getElementById("Ticker")
    if (typeof Elem == "object") {
	Text = tl[x].substring(0,pos)+"_"
	Elem.firstChild.nodeValue=Text;
	if(pos++==l) {
		pos=0;
		setTimeout("textticker()",2000);
		x++;
		if(x==max)
			x=0;
		l=tl[x].length;
	}
	else
		setTimeout("textticker()",50);
} }	}