myImages=new Array()
myLinks=new Array()
myImagesW=new Array()
myImagesH=new Array()
myImages[0]="../images/Thumbnail/LAvat499e.jpg"
myLinks[0]="AVATI Mario"
myImagesW[0]="70"
myImagesH[0]="86.8"
myImages[1]="../images/Thumbnail/LBuff059015.jpg"
myLinks[1]="BUFFET Bernard"
myImagesW[1]="53.2"
myImagesH[1]="105"
myImages[2]="../images/Thumbnail/LTinj070.jpg"
myLinks[2]="TINGUELY Jean"
myImagesW[2]="70"
myImagesH[2]="86.1"
myImages[3]="../images/Thumbnail/LToff202.jpg"
myLinks[3]="TOFFOLI Louis"
myImagesW[3]="70"
myImagesH[3]="98"
imagecounter=myImages.length-1;
function change_image()
{
no=Math.random()*imagecounter;
my_no=Math.round(no);
my_image.src=myImages[my_no];
my_image.width=myImagesW[my_no];
my_image.height=myImagesH[my_no];
ArtFlip.width=myImagesW[my_no];
ArtFlip.height=myImagesH[my_no];
//my_image.border=1;
my_link.innerHTML=myLinks[my_no];
}
function interval()
{
setInterval("change_image()", 8000)
}