var maximal=0;
function texte()
{maximal=texte.arguments.length;
        for (i=0; i<maximal; i++)
                this[i]=texte.arguments[i];}
tl=new texte
(
" Durchsuchen Sie in aller Ruhe unsere Internet-Seiten !",
" Wir hoffen, Sie erhalten die gewünschten Informationen !",
" Beachten Sie bitte auch unsere Gebrauchtmaschinen-Liste !",
" Bei weiteren Fragen stehen wir Ihnen gerne zur Verfügung !",
"            ",
"            ");
var x=0; pos=0;
var l=tl[0].length;
function begruessung() 
{        
document.begr.textfeld.value=tl[x].substring(0,pos);
        if(pos++==l)
        {pos=0;
         setTimeout("begruessung()",2500);
         x++;
         if(x==maximal)
         x=0;
         l=tl[x].length;
        } else
         setTimeout("begruessung()",55);}
