<!--
//Random ration of hero images plus link to its page
function random_header(){
  var myimages=new Array()
  //specify random images below. You can have as many as you wish
  myimages[1]="banner_images/banner4.jpg"
  myimages[2]="banner_images/banner2.jpg"
  myimages[3]="banner_images/banner3.jpg"
  myimages[4]="banner_images/banner4.jpg"
  myimages[5]="banner_images/banner5.jpg"
  myimages[6]="banner_images/banner6.jpg"
//  specify corresponding links below
  var imagelinks=new Array()
  imagelinks[1]="index.php"
  imagelinks[2]="index.php"
  imagelinks[3]="index.php"
  imagelinks[4]="index.php"
  imagelinks[5]="index.php"
    imagelinks[6]="index.php"

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

//make sure the image size is correct in the following section
  if (ry==0)
     ry=1
     document.write('<img src="'+myimages[ry]+'" border=0 width="768" height="237">')
}

  //call with: random_imglink()
//-->