<!--

function random_imglink(){
  var myimages=new Array()
  //specify random images below. You can have as many as you wish
  myimages[1]="images/top_01.jpg"
  myimages[2]="images/top_02.jpg"
  myimages[3]="images/top_03.jpg"
  myimages[4]="images/top_04.jpg"
  myimages[5]="images/top_05.jpg"
  myimages[6]="images/top_06.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)

  if (ry==0)
     ry=1
     document.write('<a href='+'"'+imagelinks[ry]+'"'+'><img src="'+myimages[ry]+'" border="0" title="Corpus Christi College" alt="Corpus Christi College"></a>')
}

  random_imglink()
//-->