function random_imgHP(){
  var hpimages=new Array()
  //specify random images below. You can have as many as you wish
  hpimages[1]="img/HP/Img_HP_01.JPG"
  hpimages[2]="img/HP/Img_HP_02.JPG"
  hpimages[3]="img/HP/Img_HP_03.JPG"
  hpimages[4]="img/HP/Img_HP_04.JPG"
  hpimages[5]="img/HP/Img_HP_05.JPG"
  hpimages[6]="img/HP/Img_HP_06.JPG"
  hpimages[7]="img/HP/Img_HP_07.JPG"
  hpimages[8]="img/HP/Img_HP_08.JPG"
  hpimages[9]="img/HP/Img_HP_09.JPG"
  hpimages[10]="img/HP/Img_HP_10.JPG"
  hpimages[11]="img/HP/Img_HP_11.JPG"


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

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