function help_window(page){
  window.open("/help.php?page="+page, "Help", "height=300, width=400, location=no, menubar=no, resizable=yes, scrollbar=yes, toolbar=no, status=no, titlebar=no");
}

function set_text(name, text) {
  el = document.getElementById(name);
  if (text == undefined) {
    text = '';
  }
  el.innerHTML = text;
}