function rotateImage() {
	var imageid = last_imageid + 1;
	if (imageid == rotating_images.length) {
		imageid = 0;
	}

	if (imageid != last_imageid) {
		document.getElementById('rotating_header_image').width = rotating_images[imageid].width;
		document.getElementById('rotating_header_image').height = rotating_images[imageid].height;
		document.getElementById('rotating_header_image').src = rotating_images[imageid].src;

		last_imageid = imageid;
		setTimeout("rotateImage()", 5000);
	}

}