function SetPict(thePrefix){
  var theNum=Math.round(Math.random()*1) +1;
  var theSource = "images/" +thePrefix +theNum +".jpg";
  document.BigPicture.src=theSource;
 }