function select_all(input)
{
var text_val=eval(input);
text_val.focus();
text_val.select();
}