function highlight(field) {
  document.getElementById(field).select();
}