// Swap image function 
  function ChangeImage (ImageName, FileName) {
    if (document.images) {
      document[ImageName].src = eval(FileName + ".src");
    }
  }
  
  // Popup window function
  function openWindow(url, name, size, scroll) {
    popupWin=window.open(url, name, '"toolbar=no,' + size +',left=15,top=15,status=no,scrollbars=yes,resize=no,menubar=no"');
  }
  
// rotate Images on refresh
var theImages = new Array() 
theImages[0] = 'images/rotating_images/camp_01.jpg'
theImages[1] = 'images/rotating_images/camp_02.jpg'
theImages[2] = 'images/rotating_images/camp_03.jpg'
theImages[3] = 'images/rotating_images/camp_04.jpg'
theImages[4] = 'images/rotating_images/camp_05.jpg'
theImages[5] = 'images/rotating_images/camp_06.jpg'
theImages[6] = 'images/rotating_images/camp_07.jpg'

var j = 0
var p = theImages.length;
var preBuffer = new Array()
for (i = 0; i < p; i++){
   preBuffer[i] = new Image()
   preBuffer[i].src = theImages[i]
}
var whichImage = Math.round(Math.random()*(p-1));
function showImage(){
document.write('<img src="'+theImages[whichImage]+'" name="mainPic01">');
}