//creo array de imágenes
array_imagen = new Array(3)
array_imagen[0] = new Image(130,130)
array_imagen[0].src = "images/publicidad/galeon.gif"
array_imagen[1] = new Image(130,204)
array_imagen[1].src = "images/publicidad/mesondevictor.jpg"
array_imagen[2] = new Image(120,41)
array_imagen[2].src = "images/publicidad/barlovento.jpg"
array_imagen[3] = new Image(130,165)
array_imagen[3].src = "images/publicidad/casa_enrique.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()",10000)
	
}