function showPic(imgid, img) {
  window.document.images[imgid].src = "/images/" + img + ".png";
}