function afdraaien()
   { if (positie <0)
   { window.status=blanco.substring(0,-positie) +
    tekst.substring(0,positie+lengte) }
   else
   { window.status=tekst.substring(positie,tekst.length) }
   positie++
   if (positie == tekst.length)
   { positie = -length }
   window.setTimeout("afdraaien()",100) }