// JavaScript Document

function txt_dsp(name0, str0){
  document.form1[name0].value = str0;
}