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.height : this.el.offsetHeight;
     this.inhaltY = 0;
     this.speed = 1;
     this.hoch = TickerHoch;
     this.runter = TickerRunter;
     this.stop = TickerStop;
}

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

function TickerRunter() {
     this.stop();
     this.timer = setTimeout(this.name+".runter()", 40);
     if (this.inhaltY<this.hoehe) this.inhaltY += this.speed;
     else this.inhaltY = -this.inhaltHoehe;
     this.css.top = this.inhaltY;
}

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

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