// JavaScript Document

adImages1 = new Array("images/promotional/antigua1.jpg","images/promotional/antigua2.jpg","images/promotional/antigua3.jpg")

thisAd1 = 0

imgCt1 = adImages1.length

function rotate() {
	if(document.images) {
		
		thisAd1++
		if(thisAd1 == imgCt1) {
			thisAd1 = 0
		}
		document.adBanner1.src=adImages1[thisAd1]
		
		setTimeout("rotate()",4*1000)
	}
}