<!--
    var scrollCounter = 0;
    var scrollText    = "                                              " //The first line must be blank
	+ " "
	+ " "
	+ " "
    var scrollDelay   = 100;
    var i = 0;
	
    while (i ++ < 140)
        scrollText = " " + scrollText;

    function Scroller()
    {
        window.status = scrollText.substring(scrollCounter++,
          scrollText.length);
        if (scrollCounter == scrollText.length)
            scrollCounter = 0;
        setTimeout("Scroller()", scrollDelay);
    }

    Scroller();

// -->