var banneratual = 1;

var intervalo;

var delaybanner = 1000;

function BannerChange(id) {
 clearTimeout(intervalo);

 banneratual = id;

 if (String(document.FORMFULLBANNER) == "undefined") {
  intervalo = setTimeout("BannerChange(" + String(id) + ");", 1000);
  return
 }

 // alterado porque o getElementById na linha abaixo dava
 // um problema misterioso no mozilla
 document.getElementById("full").innerHTML = (eval("document.FORMFULLBANNER.banner" + String(id))).value;

 document.seta1.src= "/imgc/icones/transp.gif";
 document.seta2.src= "/imgc/icones/transp.gif";
 document.seta3.src= "/imgc/icones/transp.gif";
 document.seta4.src= "/imgc/icones/transp.gif";

 (eval("document.seta" + String(id))).src = "/imgc/icones/up0300.gif";
}

function AutoBanner() {
 if (banneratual > 4) { banneratual = 1 }

 intervalo = setTimeout("BannerChange(" + String(banneratual) + "); banneratual++; AutoBanner()", delaybanner);

 if (delaybanner == 1000) { delaybanner = 4000 }
}