function count_images() { if (++num_loaded_images == 4) animate(); }
	var num_loaded_images = 0;

	var images = new Array(5);
for(var i = 0; i < 5; i++) {
	images[i] = new Image();
	images[i].onLoad = count_images;
	images[i].src = "/images/banner/" + i + ".jpg";
}
function animate()  //Funzione che esegue l'animazione.
{
	document.animation.src = images[frame].src;
	frame = (frame + 1)%5;
	timeout_id = setTimeout("animate()", 2500);
}
var frame = 0;