/* load image array */
var images = new Array(5);
images[0] = new Array();
images[1] = new Array();
images[2] = new Array();
images[3] = new Array();
images[4] = new Array();
/* set your file names here */
images[0]["url"] = "animation_1.jpg";
images[1]["url"] = "animation_2.jpg";
images[2]["url"] = "animation_3.jpg";
images[3]["url"] = "animation_4.jpg";
images[4]["url"] = "animation_5.jpg";

/* generates a random number for the animation */
function animationRand() {
	var result = 4;
	result = Math.random() * result;
	result = Math.round(result);
	return result;
}

/* animation function */
function animationRun(images) {
	
	var choosen  = animationRand();
	var img_node = document.getElementById("animation");
	
	img_node.setAttribute("src", "img/animation/"+images[choosen]["url"]);
	window.setTimeout('animationRun(images)',5000);
}