var speed = 50 //decrease value to increase speed (must be positive) 
var pause = 4000 //increase value to increase pause
var timerID = null 
var bannerRunning = false
var currentMessage = 0
var offset = 0
function stopBanner() {
    if (bannerRunning)
        clearTimeout(timerID)
        bannerRunning = false
        }
function startBanner() {
        stopBanner()
        showBanner()
}
function showBanner() { 
        var text = news[currentMessage]
        if (offset < text.length) {
            if (text.charAt(offset) == " ")
            offset++ 
            var partialMessage = text.substring(0, offset + 1)
            window.status = partialMessage
            offset++ 
            timerID = setTimeout("showBanner()", speed)
            bannerRunning = true
                } else {
            offset = 0
            currentMessage++
                if (currentMessage == news.length)
                    currentMessage = 0
                    timerID = setTimeout("showBanner()", pause)
                    bannerRunning = true
                    }
                            }
startBanner();

function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}