var banners = ["Imagenes/banner.jpg","Imagenes/banner.jpg"];
var enlaces = ["productos.html","productos.html"];
var num_banners = 1; //Total banners - 1
var actual = 0;

setTimeout("cambia_banner()", 5500);

function cambia_banner() 
{
actual++;
if(actual>num_banners)
{
	actual = 0;
}
document.images.banner.src = banners[actual];
target=document.getElementById("linkbanner");
target.href= enlaces[actual];

setTimeout("cambia_banner()", 5500);
}