myImages=new Array()
myLinks=new Array()
myImagesW=new Array()
myImagesH=new Array()
myImages[0]="../images/Thumbnail/LCaldOSM202.jpg"
myLinks[0]="CALDER Alexander"
myImagesW[0]="100.1"
myImagesH[0]="70"
myImages[1]="../images/Thumbnail/LHart071F0102.jpg"
myLinks[1]="HARTUNG Hans"
myImagesW[1]="102.9"
myImagesH[1]="70"
myImages[2]="../images/Thumbnail/LToff321.jpg"
myLinks[2]="TOFFOLI Louis"
myImagesW[2]="100.1"
myImagesH[2]="70"
myImages[3]="../images/Thumbnail/LVasa013.jpg"
myLinks[3]="VASARELY Victor"
myImagesW[3]="70"
myImagesH[3]="70"
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)
}