images = new Array(10); 

for(var i = 0; i < 13; i++) 
	{ images[i] = new Image();
 	   }

function animate()
	{ document.animation.src = images[frame].src; 
	frame = (frame +1)%13;
	timeout_id = setTimeout("animate()",step); 
	}
function tidy()
	{
	if (timeout_id) clearTimeout(timeout_id);
	} 
var frame = 1; 
var timeout_id = null;