function selectAll(x) 
{
  var val=document.getElementById(x);
  val.focus();
  val.select();
}