// JavaScript Document
   adImages = new Array("images/bus_info.jpg", "images/music_banner.gif", "images/logoban2.gif");
   thisAd = 0;
   imgCt = adImages.length;
   
   function rotate(){
        if (document.images) {
		    thisAd++
			if (thisAd == imgCt)  {
			thisAd = 0;
			}
			
			document.adBanner.src=adImages[thisAd];
			
			setTimeout("rotate()", 3*1000);
			}
		}