myPortraits=new Array()
myNames=new Array()
myPortraits[0]="../images/Bio/thumbs/ROPS_Felicien.jpg"
myNames[0]="Felicien ROPS"
myPortraits[1]="../images/Bio/thumbs/ROPS_Felicien_02.jpg"
myNames[1]="ROPS Felicien"
myPortraits[2]="../images/Bio/thumbs/ROPS_Felicien_03.jpg"
myNames[2]="ROPS Felicien"
myPortraits[3]="../images/Bio/thumbs/SPAHN_Victor.jpg"
myNames[3]="Victor SPAHN"
myPortraits[4]="../images/Bio/thumbs/SPAHN_Victor_01.jpg"
myNames[4]="SPAHN Victor"
myPortraits[5]="../images/Bio/thumbs/TING_Walasse.jpg"
myNames[5]="Walasse TING"
myPortraits[6]="../images/Bio/thumbs/TING_Walasse_01.jpg"
myNames[6]="TING Walasse"
myPortraits[7]="../images/Bio/thumbs/WEISBUCH_Claude.jpg"
myNames[7]="Claude WEISBUCH"
myPortraits[8]="../images/Bio/thumbs/WEISBUCH_Claude_01.jpg"
myNames[8]="WEISBUCH Claude"
myPortraits[9]="../images/Bio/thumbs/WEISBUCH_Claude_02.jpg"
myNames[9]="WEISBUCH Claude"
imagePcounter=myPortraits.length -1;
function change_portrait()
{
no=Math.random()*imagePcounter;
my_no=Math.round(no);
my_portrait.src=myPortraits[my_no];
my_Name.innerHTML=myNames[my_no];
}
function portrait_interval()
{
setInterval("change_portrait()", 8000);
}