<!--
var speed = 150 // decrease value to increase speed (must be positive)
var pause = 3000 // increase value to increase pause
var timerID = null
var bannerRunning = false
var bericht = new Array()

bericht[0] = "First class overhauled and new post-lifts:"
bericht[1] = "KONI  -  BRADBURRY  -  CE  -  FOG  -  ISTOBAL "
bericht[2] = "UNION  -  RAVAGLIOLI  -  TEXO  -  STENHØJ"
bericht[3] = "Tyre machines & wheel balancers, new and second-hand:"
bericht[4] = "BEISSBARTH  -  MONDOLFO  -  ARTIGLIO  -  SICAM"

var currentMessage = 0
var offset = 0
function stopBanner() {
        if (bannerRunning)
        clearTimeout(timerID)
        bannerRunning = false
}
function startBanner() {
        stopBanner()
        showBanner()
}
function showBanner() {
        var text = bericht[currentMessage]
                if (offset < text.length) {
                if (text.charAt(offset) == " ")
                offset++                        
                var partialMessage = text.substring(0, offset + 1) 
                document.bannerForm.tekstveld.value = partialMessage
                offset++ // IE sometimes has trouble with "++offset"
                timerID = setTimeout("showBanner()", speed)
                bannerRunning = true
        } else {
                offset = 0
                currentMessage++
                if (currentMessage == bericht.length)
                currentMessage = 0
                timerID = setTimeout("showBanner()", pause)
                bannerRunning = true
        }
}

//-->