function image_change(imgnam0,gfnam0){
  document.images[imgnam0].src = gfnam0;
}