<!--
// Variables for random number generator.

today=new Date();
jran=today.getTime();
ia=9301;
ic=49297;
im=233280;

// Set to number of images available.

var number=5;

// Becomes generated random  number.

var random_number=0;

// Set to appropriate image name.

var image="";
var caption1="";
var caption2="";

// Random number generating function.



function randomizeNumber1(){

jran = (jran*ia+ic) % im;
random_number=Math.ceil( (jran/(im*1.0)) *number);

// Set variable image equal to appropriate image file name. 

if (random_number==1){image="images/thumbnails/hahn.jpg"; caption1="";}
if (random_number==2){image="images/thumbnails/hahnlayout.jpg"; caption1="";}
if (random_number==3){image="images/thumbnails/ray.jpg"; caption1="";}
if (random_number==4){image="images/thumbnails/raycatch.jpg"; caption1="";}
if (random_number==5){image="images/thumbnails/rigel.jpg"; caption1="";}
}

function randomizeNumber2(){

var caption="";
jran = (jran*ia+ic) % im;
random_number=Math.ceil( (jran/(im*1.0)) *number);

// Set variable image equal to appropriate image file name.  

if (random_number==1){image="images/thumbnails/pat.jpg"; caption2="";}
if (random_number==2){image="images/thumbnails/matt.jpg"; caption2="";}
if (random_number==3){image="images/thumbnails/patthrow.jpg"; caption2="";}
if (random_number==4){image="images/thumbnails/gabe.jpg"; caption2="";}
if (random_number==5){image="images/thumbnails/huddle.jpg"; caption2="";} 
}