<!--

pic = new Array(10);
for(var i = 0; i < 10; i++) {
	pic[i] = new Image();
	pic[i].src = "anim/r" + i + ".jpg";
	}
	
function animate()
{
	document.animation.src = pic[firstpic].src;
	firstpic = (firstpic + 1)%10;
	timeout_id = setTimeout("animate()", 7000);
}
var firstpic = 0;
var timeout_id = null;

animate();

//-->
