<!--

function linkBanner()
	{
		window.alert("You just clicked Banner " + bannerNum + ".");
	}
	function rotateBanner()
	{
		if(++bannerNum > 3)
			bannerNum = 1;
		banner.src = "Banner" + bannerNum + ".jpg";
		window.setTimeout('rotateBanner();', 3000);
	}
// -->