function imagetimer ()
//References External Variables - Define imgnum = 0 and bannerimages as array of URLs.
{
	count = bannerimages.length
	{
	if (document.images)
		{
		imgnum++
		if(imgnum == count)
			{
			imgnum = 0
			}
		document.bannerimg.src = bannerimages[imgnum]
		setTimeout("imagetimer()", 7*1000)
		}
	}
}

// Variables referenced by functions
bannerimages = new Array ("../App_Themes/ArmorCore/images/Banner-courtroom.jpg", "../App_Themes/ArmorCore/images/Banner-domestic.jpg", "../App_Themes/ArmorCore/images/Banner-government.jpg", "../App_Themes/ArmorCore/images/Banner-home.jpg")
imgnum = 0