// JavaScript Document
function select_all()
{
var text_val=eval("document.form1.type");
text_val.focus();
text_val.select();
}