<!--
// the string that should scroll
var scrlStr = "Das liebenswerte Hotel im Herzen von Karlsruhe  + + +  Hell, freundlich, gemütlich - so präsentiert sich Ihnen das Greif Hotel  + + +  Entdecken Sie ein preiswertes ** Superior-Hotel mit besten City-Anbindungen  + + +  "
              "" +
              "" +
              "" +
              ""
// the width of the scrolling area
var width = 73;
var strLen = scrlStr.length;
var pos = 1 - width;                // start far enough to the left for only
                                    // one letter to be showing
function scroll(){
    var scroll = "";                // initialize the string to be printed
    pos++;                          // move to the right in the string
    if (pos == strLen)              // start over if the string is done scrolling
        pos = 1 - width;
    if (pos<0) {                    // add spaces to beginning if necessary
        for (var i=1; i<=Math.abs(pos); i++)
            scroll = scroll + " ";
            scroll = scroll + scrlStr.substring(0, width - i + 1);
    }
    else
        scroll = scroll + scrlStr.substring(pos, pos + width);
    document.scrollMsg.message.value = scroll;         // print the string
    setTimeout("scroll()",125);     // recurse after 1/10 of a second
}
//-->