<script language="JavaScript1.1">
var speed = 50
var pause = 500
var timerID = null
var bannerRunning = false
var ar = new Array()
ar[0] = "Este manual está en continua revisión y actualización."
ar[1] = "Si observas algún error,"
ar[2] = "tienes algún problema con el código,"
ar[3] = "o quieres hacer cualquier sugerencia o comentario,"
ar[4] = "deja tus ideas en el foro."
ar[5] = "Tu información será vista por todos."
ar[6] = "Probablemente alguien, quizá yo mismo, pueda ayudarte."
ar[7] = "Gracias por tu colaboración."
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)
document.bannerForm.bannerField.value = partialMessage
offset++ // IE algunas veces tiene problemas con "++offset"
timerID = setTimeout("showBanner()", speed)
bannerRunning = true
} else {
offset = 0
currentMessage++
if (currentMessage == ar.length)
currentMessage = 0
timerID = setTimeout("showBanner()", pause)
bannerRunning = true
}
}

</script>