<!--
//Random rotation of header images plus link back to index
function random_header(){
  var myimages=new Array()
  //specify random images below. You can have as many as you wish
  myimages[1]="http://aspentrailer.com/images/random/header/header1.jpg"
  myimages[2]="http://aspentrailer.com/images/random/header/header2.jpg"
  myimages[3]="http://aspentrailer.com/images/random/header/header3.jpg"
  myimages[4]="http://aspentrailer.com/images/random/header/header4.jpg"


//changed image links to absolute so script will work with pages in sub directories
//myimages[1]="images/random/header/header1.jpg"
//myimages[2]="images/random/header/header2.jpg"
//myimages[3]="images/random/header/header3.jpg"
//myimages[4]="images/random/header/header4.jpg"


  //specify corresponding links below
  var imagelinks=new Array()
  imagelinks[1]="index.html"
  imagelinks[2]="index.html"
  imagelinks[3]="index.html"
  imagelinks[4]="index.html"


  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('<a href='+'"'+imagelinks[ry]+'"'+'><img src="'+myimages[ry]+'" border=0 width="758" height="90"></a>')
}

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