function debug1() {
  document.write("debug1");
}

function hideByID(x) {
  document.getElementById(x).style.display='none';
}
function showByID(x) {
  document.getElementById(x).style.display='';
}

function swallowenter(button){
  if (event.keyCode==13) {
    event.keyCode=null;
    window.document.getElementById(button).click();
  }    
  return true;
}