function RandNum(max) {
  key = Math.floor(Math.random() * max);
  return key;
}

function RandomPicture() {
  images = new Array(5);

  images[0] = '<img src="./imgs/front/ces_tower.jpg" alt="Picture of the CES tower" class="front_img">';
  images[1] = '<img src="./imgs/front/busch.jpg" alt="Picture of Busch Hall" class="front_img">';
  images[2] = '<img src="./imgs/front/courtyard_flowers.jpg" alt="Picture of flowers in Busch Hall courtyard" class="front_img">';
  images[3] = '<img src="./imgs/front/gargoyle.jpg" alt="Picture of gargoyle in Busch Hall courtyard" class="front_img">';
  images[4] = '<img src="./imgs/front/lion.jpg" alt="Picture of the lion at Busch Hall" class="front_img">';
  images[5] = '<img src="./imgs/front/streamers.jpg" alt="Picture of CES Lobby with Streamers for Venetian Ball" class="front_img">';
  images[6] = '<img src="./imgs/front/streamers2.jpg" alt="Picture of CES Lobby with Streamers for Venetian Ball" class="front_img">';

//  images[2] = '<img src="" alt="" class="front_img>';

  
  key = RandNum(images.length);

//  document.write("Displaying image " + (key + 1) + " of " + images.length + ".<p>" );
  document.write(images[key]);
}