//   Random Image Generator by Tim Wallace   (timothy@essex1.com)
//   Original generator by Paul Houle  (ph18@cornell.edu)
// Variables for random number generator.
   today=new Date();
   jran=today.getTime();
// Set to number of images available.
   var number=10;
// Becomes generated random  number.
   var random_number=0;
// Set to appropriate image name.
   var image="";
// Random number generating function.
function randomizeNumber()
   {
   ia=9301;
   ic=49297;
   im=233280;
   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/cycler/01.jpg";
   if (random_number==2)
      image="images/cycler/02.jpg";
   if (random_number==3)
      image="images/cycler/03.jpg";
   if (random_number==4)
      image="images/cycler/04.jpg";
   if (random_number==5)
      image="images/cycler/05.jpg";
   if (random_number==6)
      image="images/cycler/06.jpg";
   if (random_number==7)
      image="images/cycler/07.jpg";
   if (random_number==8)
      image="images/cycler/08.jpg";
   if (random_number==9)
      image="images/cycler/09.jpg";
   if (random_number==10)
      image="images/cycler/10.jpg";
}
// Used to reload page.
function reloadPage()
   { window.location="index"; }