<!--

//configure the paths of the images, plus corresponding target links
slideshowimages("images/entete/entete12.jpg","images/entete/entete00.jpg","images/entete/entete01.jpg","images/entete/entete02.jpg","images/entete/entete15.jpg","images/entete/entete14.jpg","images/entete/entete03.jpg","images/entete/entete04.jpg","images/entete/entete05.jpg","images/entete/entete06.jpg","images/entete/entete13.jpg","images/entete/entete07.jpg","images/entete/entete08.jpg","images/entete/entete09.jpg","images/entete/entete10.jpg","images/entete/entete11.jpg")
slideshowlinks("entete12.html","entete00.html","entete01.html","entete02.html","entete15.html","entete14.html","entete03.html","entete04.html","entete05.html","entete06.html","entete13.html","entete07.html","entete08.html","entete09.html","entete10.html","entete11.html")

//configure the speed of the slideshow, in miliseconds
var slideshowspeed=15000

var whichlink=0
var whichimage=0
function slideit(){
if (!document.images)
return
document.images.slide.src=slideimages[whichimage].src
whichlink=whichimage
if (whichimage<slideimages.length-1)
whichimage++
else
whichimage=0
setTimeout("slideit()",slideshowspeed)
}
slideit()

//-->