var imgs1 = new Array("/img/header1.jpg","/img/header2.jpg","/img/header3.jpg","/img/header4.jpg","/img/header5.jpg","/img/header6.jpg","/img/header7.jpg");
var alt1 = new Array("banner1","banner2","banner3","banner4","banner5","banner6","banner7");
var currentAd1 = 0;
var imgCt1 = 7;
function cycle1() {
  if (currentAd1 == imgCt1) {
    currentAd1 = 0;
  }
var banner1 = document.getElementById('header_rotator');
  banner1.src=imgs1[currentAd1]
  banner1.alt=alt1[currentAd1]
  currentAd1++;
}
  window.setInterval("cycle1()",5000);