function random_imglink(){
  var myimages=new Array()
  //specify random images below. You can have as many as you wish
  myimages[1] = "Resources/images/headers/inside_header1.jpg"
  myimages[2] = "Resources/images/headers/inside_header2.jpg"
  myimages[2] = "Resources/images/headers/inside_header3.jpg"

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

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