function select() {
	var text_val = eval ('document.form1.desc');
	text_val.focus();
	text_val.select();
}