// JavaScript Document
var bannerNum1 = 1;
var bannerNum2 = 4;
var bannerNum3 = 7;
function rotateBanner1() {
	if (++bannerNum1 > 8)
		bannerNum1=1;
	document.getElementById("ttbanner1").src = "assets/images/banner" + bannerNum1 + ".gif";
	window.setTimeout('rotateBanner1();', 4000);
}