<!--
/*
	This script changes the top right images on the current page.
*/
var timeInterval = 5000;
var imageCode = 1;
var numberOfImages = 10;

function startImageRotation()
{
	TimerObject = setTimeout( "changeImage()", timeInterval );
}

function changeImage()
{
	imageCode = imageCode + 1;
	if( imageCode == numberOfImages + 1)
	{
		imageCode = 1;
	}
	document.getElementById('imagerotate').src = "../design/imageRotate/" + imageCode + ".jpg";
	TimerObject = setTimeout("changeImage()", timeInterval);
}
-->