function setRandImage(imgId, images) {
  document.getElementById(imgId).src = "/images/" + images[Math.floor(Math.random() * images.length)];
}

var old_onload = window.onload;
window.onload = function() {
  var stock_images = ["stock/arches.jpg", "stock/colosseum.jpg", "stock/pillars1.jpg", "stock/pillars2.jpg"];
  var people_images = ["people/craig_berne_B4.jpg", "people/thomas_cutler_B5.jpg", "people/milt_christensen_B3.jpg", "people/roger_harris_B1.jpg", "people/steve_berne_B2.jpg", "people/susan_smith_B6.jpg"];
  setRandImage("rand_stock", stock_images);
  setRandImage("rand_person", people_images);
  old_onload();
}