var speed = 75 
var pause = 2000
var timerID = null
var bannerRunning = false
var ar = new Array()
ar[0] = "<<<< HOTEL VILLA REAL SAN FELIPE * * * *  >>>>"
ar[1] = "..... Habitaciones confortables ....."
ar[2] = "..... Sala de Reuniones San Miguel ....."
ar[3] = "..... Restaurant Rumi Campana  ....."
ar[4] = "..... Pub Pie de Gallo ....."
ar[5] = "..... Sauna e Hidromasaje ....."
ar[6] = "..... Garaje ....."
var currentMessage = 0
var offset = 0
function stopBanner() {
if (bannerRunning)
clearTimeout(timerID)
bannerRunning = false
}
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++ // IE sometimes has trouble with "++offset"
timerID = setTimeout("showBanner()", speed)
bannerRunning = true
} else {
offset = 0
currentMessage++
if (currentMessage == ar.length)
currentMessage = 0
timerID = setTimeout("showBanner()", pause)
bannerRunning = true
}
}
startBanner();