var ct = 0;
// Liste des images à afficher périodiquement
var images = new Array("image2.gif","image3.gif","image4.gif", "image1.gif");
setTimeout("progress( )",3000);
function progress( ) {
if (ct < 3)
{
document.images[0].src=images[ct];
ct++;
setTimeout("progress( )",3000);
}
}