function imagen_sustitucion(imgDocID,imgObjName) {
  // document.images[imgDocID].src = eval(imgObjName + ".src")
  document.images[imgDocID].src = imgObjName;
}