window.onload = rotate;

var adImages = new Array("HTRIOimages/adBannerA2.png","HTRIOimages/adBannerB2.png","HTRIOimages/adBannerC2.png");
var thisAd = 2;

function rotate() {
	thisAd++;
	if (thisAd == adImages.length) {
		thisAd = 0;
	}
	
	document.getElementById("adBanner").src=adImages[thisAd];
	setTimeout("rotate()", 5*1000);
}