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