// JavaScript Document

window.onload = rotate;

var adImages = new Array("images/image1.gif", "images/image2.gif", "images/image3.gif");

var thisAd = 0;

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