function random_imglink_head(){
  var myimages=new Array()
  //specify random images below. You can have as many as you wish
  myimages[1]="1.jpg"
  myimages[2]="2.jpg"
  myimages[3]="3.jpg"
  myimages[4]="4.jpg"
  myimages[5]="5.jpg"
  myimages[6]="6.jpg"
  myimages[7]="7.jpg"
  myimages[8]="8.jpg"
  myimages[9]="9.jpg"
  myimages[10]="10.jpg"
  myimages[11]="11.jpg"
  myimages[12]="12.jpg"
  myimages[13]="13.jpg"

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

  if (ry==0)
     ry=1
     document.write('<img src="images/header/'+myimages[ry]+'" border=0 width=618 height=173>')
}

function random_imglink_thumb(){
  var myimages=new Array()
  //specify random images below. You can have as many as you wish
  myimages[1]="1.jpg"
  myimages[2]="2.jpg"
  myimages[3]="3.jpg"
  myimages[4]="4.jpg"
  myimages[5]="5.jpg"
  myimages[6]="6.jpg"
  myimages[7]="7.jpg"
  myimages[8]="8.jpg"
  myimages[9]="9.jpg"
  myimages[10]="10.jpg"
  myimages[11]="11.jpg"
  myimages[12]="12.jpg"
  myimages[13]="13.jpg"
  myimages[14]="14.jpg"
  myimages[15]="15.jpg"

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

  if (ry==0)
     ry=1
     document.write('<img src="images/thumbs/'+myimages[ry]+'" border=0 width=161 height=131>')
}