function select_all()
{
var text_val=eval("document.form_name.type");
text_val.focus();
text_val.select();
}