userAgent = navigator.userAgent.toLowerCase();
n4 = document.layers;
ie = (document.all && userAgent.indexOf("mac")<0);
w3c = document.documentElement;
dhtml = ((n4 || ie || w3c) &&  userAgent.indexOf("aol")<0);

function Ticker(name, parentId, id, hoehe){
     this.name = name;
     this.hoehe = hoehe;
     this.el = n4? document.layers[parentId].document.layers[id] : ie?
document.all[id] : document.getElementById(id);
     this.css = n4? this.el : this.el.style;
     this.inhaltHoehe = n4? this.el.document.width : this.el.offsetWidth;
     this.inhaltX = 0;
     this.speed = 2;
     this.hoch = TickerHoch;
     this.stop = TickerStop;
}

function TickerHoch() {
     this.stop();
     this.timer = setTimeout(this.name+".hoch()", 40);
     if (this.inhaltX>-this.inhaltHoehe) this.inhaltX -= this.speed;
     else this.inhaltX = this.hoehe;
     this.css.left = this.inhaltX;
}


function TickerStop() {
     if (this.timer) clearTimeout(this.timer);
}

function init(){
     if (!dhtml) return;
     einTicker = new Ticker("einTicker", "tickerDiv", "tickerText", 600);
     einTicker.hoch();
}