var headArray = new Array(13); //for banners, increase size as necessary
var cuenta01 = 1;
if(document.images) //pre-load all banner images
{
  for(i = 0; i < 13; i++)
  {
    headArray[i] = new Image(200, 800);
    if (i<9)
    headArray[i].src = "../Header/headera0" + (i+1) + ".jpg";
    else
    headArray[i].src = "../Header/headera" + (i+1) + ".jpg";
  }
}
function changeHeader() //banner changer function
{
  if(cuenta01 > 12) {cuenta01 = 0;}
  document.slide.src = headArray[cuenta01].src; //sets a new header
  cuenta01++; //increase the counter for the next banner
}
//calls the changeBanner() function every 3 seconds		***    banArray[i] = new Image(600, 250)
//change the timer as necessary (minutes * 60000) or (seconds * 1000)
var timer = window.setInterval("changeHeader()", 3000);