function random_imglink(){
  var myimages=new Array()
  //specify random images below. You can have as many as you wish
  myimages[1]="Headers/PDFMan/1.jpg"
  myimages[2]="Headers/PDFMan/2.jpg"
  myimages[3]="Headers/PDFMan/3.jpg"
  myimages[4]="Headers/PDFMan/4.jpg"
  myimages[5]="Headers/PDFMan/5.jpg"
  myimages[6]="Headers/PDFMan/6.jpg"
  myimages[7]="Headers/PDFMan/7.jpg"
  

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

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

  random_imglink()