// Set up the image files to be used.
// To add more image files, add to the array.
var randomImages = new Array();

randomImages[0] = '/images/Gallery/bluebonnets.jpg';
randomImages[1] = '/images/Gallery/bluff.jpg';
randomImages[2] = '/images/Gallery/cactusflowers.jpg';
randomImages[3] = '/images/Gallery/caterpillar.jpg';
randomImages[4] = '/images/Gallery/flowerfieldyellow.jpg';
randomImages[5] = '/images/Gallery/flowerfieldwhite.jpg';
randomImages[6] = '/images/Gallery/mountains.jpg';
randomImages[7] = '/images/Gallery/newmexico.jpg';
randomImages[8] = '/images/Gallery/westtexas.jpg';

var j = 0;
var p = randomImages.length;
var preBuffer = new Array();
for (i = 0; i < p; i++){
  preBuffer[i] = new Image();
  preBuffer[i].src = randomImages[i];
}
var whichImage = Math.round(Math.random()*(p-1));
function showRandomImage(){
  document.images['headerimage'].src = randomImages[whichImage];
}