//creo array de imágenes 
	array_imagen = new Array(3) 
	array_imagen[0] = new Image(1014,130) 
	array_imagen[0].src = "imagenes/banner.png" 
	array_imagen[1] = new Image(1014,130) 
	array_imagen[1].src = "imagenes/banner2.png" 
	array_imagen[2] = new Image(1014,130) 
	array_imagen[2].src = "imagenes/banner3.png" 

	//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()",4000) 
	}