function origentext(txt) { document.origen.origentext.value = txt return true; }