function random_header(){
  var myheaders=new Array()
  //specify random header images below
  myheaders[1]="/images/headers/image1.jpg";
  myheaders[2]="/images/headers/image2.jpg";
  myheaders[3]="/images/headers/image3.jpg";
  myheaders[4]="/images/headers/image4.jpg";
  myheaders[5]="/images/headers/image5.jpg";
  myheaders[6]="/images/headers/image6.jpg";
  myheaders[7]="/images/headers/image7.jpg";

  //specify corresponding captions below
  var headeralt=new Array()
  headeralt[1]="Red River College Library";
  headeralt[2]="Red River College Library";
  headeralt[3]="Red River College Library";
  headeralt[4]="Red River College Library";
  headeralt[5]="Red River College Library";
  headeralt[6]="Red River College Library";
  headeralt[7]="Red River College Library";
        
  var ry=Math.floor(Math.random()*myheaders.length)

  if (ry==0)
     ry=1;
     document.write('<img width="650" height="160" src="'+myheaders[ry]+'" alt="'+headeralt[ry]+'" />');
}

  random_header();