function imgswap(id, image) {
  document.images[id].src = '/images/' + image + '.gif';
}