window.onload = rotate;

var adImages = new Array("images/bf_pic4.jpg", "images/wpp_pic2.jpg", "images/fh_pic5.jpg", "images/mic_pic3.jpg", "images/sf_pic1.jpg");
var thisAd = 0;

function rotate() {
	thisAd++;
	if (thisAd == adImages.length) {
		thisAd = 0;
	}
	document.getElementById("banner").src = adImages[thisAd];

	setTimeout("rotate()", 3 * 2000);
}