function showPic (whichpic) {
 if (document.getElementById) {
  document.getElementById('large-work').src = whichpic.href;
  document.getElementById('work-caption').src = whichpic.name;
  return false;
 } else {
  return true;
 }
}


function randomImg() {
  var whichimg = Math.round(Math.random()*(images.length-1));
  document.getElementById('filmbar').src = '/images/' + images[whichimg];
}