window.onload = rotate;

var adImages = new Array("http://www.htrio.com/images/adBannerA2.jpg","http://www.htrio.com/images/adBannerB2.jpg","http://www.htrio.com/images/adBannerC2.jpg");
var thisAd = 2;

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