function random_imglink(){
  var myimages=new Array()
  myimages[1]="picture_library/top-left.gif"
  myimages[2]="picture_library/top-left-2.gif"
  myimages[3]="picture_library/top-left-3.gif"

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

  if (ry==0)
     ry=3
     document.write('<img src="'+myimages[ry]+'" border=0>')
}