function showRandom()
{
  // There can be as many rotating images in the upper right portion of the home
  // page as desired. The image names MUST be in the sequence /images/sort_banner00.jpg,
  // /images/sort_banner01.jpg, ... up to a maximum of /images/sort_banner99.jpg.

  // Make sure that there are corresponding text titles for each image, and make sure that the
  // number of images EXACTLY equals the number of titles.

  var useThese = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12]; // edit this to control which images get cycled

  var images = new Array();
  images[0] ="/images/sort_banner00.jpg";
  images[1] ="/images/sort_banner01.jpg";
  images[2] ="/images/sort_banner02.jpg";
  images[3] ="/images/sort_banner03.jpg";
  images[4] ="/images/sort_banner04.jpg";
  images[5] ="/images/sort_banner05.jpg";
  images[6] ="/images/sort_banner06.jpg";
  images[7] ="/images/sort_banner07.jpg";
  images[8] ="/images/sort_banner08.jpg";
  images[9] ="/images/sort_banner09.jpg";
  images[10] ="/images/sort_banner10.jpg";
  images[11] ="/images/sort_banner11.jpg";
  images[12] ="/images/sort_banner12.jpg";


  var tooltips = new Array();
  tooltips[0] = "group of four";
  tooltips[1] = "three smiling students";
  tooltips[2] = "fountain in Pond Near D V C Music Center";
  tooltips[3] = "4 grads";
  tooltips[4] = "D V C book center";
  tooltips[5] = "seated students";
  tooltips[6] = "video students";
  tooltips[7] = "chemistry";
  tooltips[8] = "trio with D V C shirt";
  tooltips[9] = "culinary";
  tooltips[10] = "group students faculty";
  tooltips[11] = "two at duck pond";
  tooltips[12] = "biology";

  var currentTime = new Date()
  var rdm = Math.floor(currentTime.getTime() / 15000) % useThese.length;
  rdm = useThese[rdm];

  document.getElementById("banner").style.background = "url("+images[rdm]+") top left no-repeat";
  document.getElementById("banner").title = tooltips[rdm];

  setTimeout('showRandom()', 15000);
}

function init()
{
 if (document.all&&document.getElementById)
 {
  navRoot = document.getElementById("nav");
  for (i=0; i<navRoot.childNodes.length; i++)
  {
   node = navRoot.childNodes[i];
   if (node.nodeName=="LI")
   {
    node.onmouseover=function(){this.className+=" over";}
    node.onmouseout=function(){this.className=this.className.replace(" over", "");}
   }
  }
 }
 popupGreeting()
 showRandom()
}

window.onload = init;