function random_imglink(){
  var myimages=new Array()
  //specify random images below. You can have as many as you wish
	myimages[1]="Random-Icone/Picto_1.jpg"
	myimages[2]="Random-Icone/Picto_2.jpg"
	myimages[3]="Random-Icone/Picto_3.jpg"
	myimages[4]="Random-Icone/Picto_4.jpg"
	myimages[5]="Random-Icone/Picto_5.jpg"
	myimages[6]="Random-Icone/Picto_6.jpg"
	myimages[7]="Random-Icone/Picto_7.jpg"
	myimages[8]="Random-Icone/Picto_8.jpg"
	myimages[9]="Random-Icone/Picto_9.jpg"
	myimages[10]="Random-Icone/Picto_10.jpg"

  //specify corresponding links below
  var imagelinks=new Array()
	imagelinks[1]="index.html"
	imagelinks[2]="index.html"
	imagelinks[3]="index.html"
	imagelinks[4]="index.html"
	imagelinks[5]="index.html"
	imagelinks[6]="index.html"
	imagelinks[7]="index.html"
	imagelinks[8]="index.html"
	imagelinks[9]="index.html"	
	imagelinks[10]="index.html"

  var ry=Math.floor(Math.random()*myimages.length)

  if (ry==0)
     ry=1
     document.write('<a href='+'"'+imagelinks[ry]+'"'+'><img src="'+myimages[ry]+'" border=0></a>')
}