// JavaScript Document

<!--
var max=0;
function textlist()
{
        max=textlist.arguments.length;
        for (i=0; i<max; i++)
                this[i]=textlist.arguments[i];
}

tl=new textlist
(
" >>> Herzlich Willkommen. <<<", 
" Unsere Öffnungszeiten sind ...",
" Montag bis Freitag von 8 Uhr bis 12 Uhr",
" und von 14 Uhr bis 18 Uhr");

var x=0; pos=0;
var l=tl[0].length;

function textticker() 
{        
document.form1.textfeld.value=tl[x].substring(0,pos)+"_";

        if(pos++==l)
        {
                pos=0;
                setTimeout("textticker()",5000);
                x++;
                if(x==max)
                        x=0;
                l=tl[x].length;
        } else
                setTimeout("textticker()",50);
}
// -->