// JavaScript Document

var speed = 5
var pause = 9000
var timerID = null
var bannerRunning = true
var ar = new Array()
ar[0] = "Specialists in jet blasting, jet washing, high pressure jetting, ultra high pressure jetting, hydrodemolition, , concrete cutting, scabbling, high flow, tube cleaning, bundle cleaning, pipe cleaning, brick cleaning. "
var currentMessage = 0
var offset = 0
function stopBanner() {
	if (bannerRunning)
	clearTimeout (timerID)
	bannerRunning = true
}
function startBanner() {	stopBanner()
	showBanner()

}
function showBanner() {
	var text = ar[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 == ar.length)
			currentMessage = 0
		timerID = setTimeout("showBanner()", pause)
		bannerRunning = true
	}
}
// -->