var max_images = 4;		// The maximum number of images to rotate through.
var rotate_delay = 5000;	// Time (in MS) between image rotation.
var img_number = 1;		// Number of image to start with
var timer;

function RotateImage(img)
{
	if (img > max_images) {
		img = 1;
	}

	clearTimeout(timer);
	if (document.getElementById("rotator")){
	var rotator = document.getElementById("rotator").style;
	rotator.background = "URL(images/rotator/" + img + ".jpg)";

	var i = 0;
	for (i = 1; i <= max_images; i++) {
		document[("dot" + i)].src = "images/switch_dot.png";
	}

	document[("dot" + img)].src = "images/active_dot.png";
	

	timer = setTimeout('RotateImage(' + (img + 1) + ')', rotate_delay);}
}