/* Auslagerungsdatei für JavaScript */

function banner(msg,ctrlwidth)

{
   msg = " +++ Warten auf den Rückrundenstart !!! +++               "+msg
   msg = " "+msg 
   msg = " "+msg
   msg = " "+msg
   msg = " "+msg
   msg = " "+msg 
   msg = " "+msg

   newmsg = msg
     while (newmsg.length < ctrlwidth)
       {
        newmsg += msg
       }

// Set up the form and form field.

   document.write ('<FORM NAME="Banner">')
   document.write ('<CENTER><INPUT NAME="banner" VALUE= "'+newmsg+'" SIZE= '+ctrlwidth+' class="scrollerstyle"></CENTER>')
   document.write ('</FORM>')
   var bannerid = null
   rollmsg()

//get the banner rolling
} 

function rollmsg()

{
   NowMsg=document.Banner.banner.value
   NowMsg=NowMsg.substring(1,NowMsg.length)+NowMsg.substring(0,1)
   document.Banner.banner.value = NowMsg
   bannerid=setTimeout("rollmsg()",200)
}