var speed = 20
var pause = 3000
var timer = null
var bannerRunning = false
var mas = new Array()
mas[0] = "BG OFFICE"
mas[1] = "Tel: 07951 254600"
var message = 0
var state = ""
clearState()
function stopBanner() { 
if (bannerRunning) 
clearTimeout(timer) 
timerRunning = false
}

function startBanner() { 
stopBanner() 
showBanner()
}

function clearState() { 
state = "" 
for (var i = 0; i < mas[message].length; ++i) { 
state += "0" 
}
}

function showBanner() { 
if (getString()) { 
message++ 
if (mas.length <= message) 
message = 0 
clearState() 
timer = setTimeout("showBanner()", pause) 
} 
else { 
var str = "" 
for (var j = 0; j < state.length; ++j) { 
str += (state.charAt(j) == "1") ? mas[message].charAt(j) : " " 
} 
window.status = str 
timer = setTimeout("showBanner()", speed) 
}
}
function getString() { 
var full = true 
for (var j = 0; j < state.length; ++j) { 
if (state.charAt(j) == 0) 
full = false 
} 
if (full) return true 
while (1) { 
var num = getRandom(mas[message].length) 
if (state.charAt(num) == "0") 
break 
} 
state = state.substring(0, num) + "1" + state.substring(num + 1, state.length) 
return false
}
function getRandom(max) { 
var now = new Date() 
var num = now.getTime() * now.getSeconds() * Math.random() 
return num % max
}
startBanner()