/* images change function */
function imgchange (img_id, img_object) {
  window.document.images[img_id].src = img_object.src;
}