// JavaScript Document
function random_imglink(){
  var myimages=new Array()
  myimages[1]="lib/img/headerauto01.png"
  myimages[2]="lib/img/headerauto02.png"
  myimages[3]="lib/img/headerauto03.png"
  myimages[4]="lib/img/headerauto04.png"
  myimages[5]="lib/img/headerauto05.png"
  myimages[6]="lib/img/headerauto06.png"
  myimages[7]="lib/img/headerauto07.png"
  myimages[8]="lib/img/headerauto08.png"
  myimages[9]="lib/img/headerauto09.png"
  myimages[10]="lib/img/headerauto10.png" 
   
  var ry=Math.floor(Math.random()*myimages.length)

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

  random_imglink()