function select_text(but_elm){var but1=eval("document.form_but."+but_elm);but1.focus();but1.select();}