// banner.js

//creo array de imágenes
array_imagen = new Array(11)
array_imagen[0] = new Image(750,160)
array_imagen[0].src = "images/barnerprincipal.jpg"
array_imagen[1] = new Image(750,160)
array_imagen[1].src = "images/barnerprincipal0.jpg"
array_imagen[2] = new Image(750,160)
array_imagen[2].src = "images/barnerprincipal1.jpg"
array_imagen[3] = new Image(750,160)
array_imagen[3].src = "images/barnerprincipal2.jpg"
array_imagen[4] = new Image(750,160)
array_imagen[4].src = "images/barnerprincipal3.jpg"
array_imagen[5] = new Image(750,160)
array_imagen[5].src = "images/barnerprincipal4.jpg"
array_imagen[6] = new Image(750,160)
array_imagen[6].src = "images/barnerprincipal5.jpg"
array_imagen[7] = new Image(750,160)
array_imagen[7].src = "images/barnerprincipal6.jpg"
array_imagen[8] = new Image(750,160)
array_imagen[8].src = "images/barnerprincipal7.jpg"
array_imagen[9] = new Image(750,160)
array_imagen[9].src = "images/barnerprincipal8.jpg"
array_imagen[10] = new Image(750,160)
array_imagen[10].src = "images/barnerprincipal9.jpg"

//variable para llevar la cuenta de la imagen siguiente
contador = 0

//función para rotar el banner
function alternar_banner(){
	window.document["banner"].src = array_imagen[contador].src
	contador ++
	contador = contador % array_imagen.length
	setTimeout("alternar_banner()",3000)
}