// JavaScript Document 
//creo array de imágenes 
array_imagen = new Array(13) 
array_imagen[0] = new Image(950,250) 
array_imagen[0].src = "images/001.jpg" 
array_imagen[1] = new Image(950,250) 
array_imagen[1].src = "images/002.jpg" 
array_imagen[2] = new Image(950,250) 
array_imagen[2].src = "images/003.jpg" 
array_imagen[3] = new Image(950,250) 
array_imagen[3].src = "images/004.jpg"
array_imagen[4] = new Image(950,250) 
array_imagen[4].src = "images/005.jpg" 
array_imagen[5] = new Image(950,250) 
array_imagen[5].src = "images/006.jpg" 
array_imagen[6] = new Image(950,250) 
array_imagen[6].src = "images/007.jpg" 
array_imagen[7] = new Image(950,250) 
array_imagen[7].src = "images/008.jpg" 
array_imagen[8] = new Image(950,250) 
array_imagen[8].src = "images/009.jpg"
array_imagen[9] = new Image(950,250) 
array_imagen[9].src = "images/010.jpg"
array_imagen[10] = new Image(950,250) 
array_imagen[10].src = "images/011.jpg"
array_imagen[11] = new Image(950,250) 
array_imagen[11].src = "images/012.jpg"
array_imagen[12] = new Image(950,250) 
array_imagen[12].src = "images/013.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) 
}