function randomBanner() {
  var theImages = new Array();

  // To add more image files, continue with the pattern below
  theImages[0] = "/site/wp-content/themes/cygnet/images/banners/768489_10342281.jpg";
  theImages[1] = "/site/wp-content/themes/cygnet/images/banners/768490_15303820.jpg";
  theImages[2] = "/site/wp-content/themes/cygnet/images/banners/768491_96169618.jpg";
  theImages[3] = "/site/wp-content/themes/cygnet/images/banners/768492_27648609.jpg";
  theImages[4] = "/site/wp-content/themes/cygnet/images/banners/768493_23102998.jpg";
  theImages[5] = "/site/wp-content/themes/cygnet/images/banners/768495_15265059.jpg";
  theImages[6] = "/site/wp-content/themes/cygnet/images/banners/768497_53679811.jpg";
  theImages[7] = "/site/wp-content/themes/cygnet/images/banners/768498_82899082.jpg";

  // Preload all the images and choose one
  var p = theImages.length;
  var preBuffer = new Array();
  for (var i = 0; i < p; i++) {
    preBuffer[i] = new Image();
    preBuffer[i].src = theImages[i];
  }
  var whichImage = Math.round(Math.random() * (p - 1));

  // Display the image
  document.getElementById("randombanner").src = theImages[whichImage];
}

window.onload = function() { randomBanner(); };