// Swap Banner Images Script.  (C.Sewell 2007)


// is browser sufficiently advanced for true W3C DOM scripting ?
if (document.getElementById && document.createElement && document.childNodes)
	W3CDOM = true;
else
	W3CDOM = false;


var aryBanners = new Array( "campaigns.jpg", "crime.jpg", "education.jpg", 
							"economy.jpg", "health.jpg", "involved.jpg", 
							"news.jpg", "ourpolicies.jpg", "pensioners.jpg");

var intNumImages = 9;

var intRotateSpeed = 20;	// how often, in seconds, top banner changes ...


function ChangeBanner()
{
	if (W3CDOM)
	{
		var objBannerImage = document.getElementById("banner");
		var now = new Date();
		var intSecs = now.getSeconds();
		var intWhichImage = intSecs % intNumImages;
		strNewBanner = aryBanners[intWhichImage];
		strNewSrc = "images/banners/" + strNewBanner;
		objBannerImage.src = strNewSrc;
	}
}


// start banner change timer on page load
setInterval('ChangeBanner()', 1000*intRotateSpeed);