//Ce script change d'image toutes les n secondes
															//==========================
															//Vous pouvez modifier les parametres du script ici
															//Les images doivent se nommer:
															//prefix[valeur entre 1 et nbimages].extension
															//Prefix des images(peut contenir un répertoire)
															var prefix='rotator/photos_title_'
															//Extension des images
															var extension='jpg'
															//Nombres d'images
															var nbimages=13
															//Delai entre chaque image en ms
															var delai=10000
															//==========================
															var lasti=0, newi=0
															function changeimage()
															{
																newi=Math.floor(nbimages*Math.random()+1)
																if(newi==lasti) changeimage()
																else
																{
																	lasti=newi
																	
																	if(document.getElementById) o=document.getElementById('imgalea');
																	else if(document.images) o=document.images.imgalea;
																	
																	if(o)
																	{
																		if(o.filters) o.filters[0].apply();
																		o.src=prefix+newi+'.'+extension
																		if(o.filters) document.getElementById('imgalea').filters[0].play();
																	} 
																	setTimeout("changeimage()",delai)
																}
															}
															changeimage()