function showpic (newphoto){
  document.getElementById('big').src="../anim-loading.gif";
  document.getElementById('big').src=newphoto;
}