var imgs=new Array();
imgs[0]="diaporama/1.gif";
imgs[1]="diaporama/2.gif";
imgs[2]="diaporama/3.gif";
imgs[3]="diaporama/4.gif";
imgs[4]="diaporama/5.gif";
imgs[5]="diaporama/6.gif";
imgs[6]="diaporama/7.gif";
imgs[7]="diaporama/8.gif";
imgs[8]="diaporama/9.gif";

var cpt=0;
function changeimages()
{
	document.getElementById("ima").src=imgs[cpt];
	cpt++;
	if(cpt>=imgs.length) cpt=0;
	setTimeout("changeimages()",2000);
}