thisAd = -1;
  if(adImages) imgCt = adImages.length;
function rotate() {
  if(adImages) {
   
    if(document.images) {
      thisAd++;
      if(thisAd==imgCt)  
         thisAd = 0;
      document.adBanner.src = adImages[thisAd];
      setTimeout("rotate()", 45*1000);
     }
   }
}