function wikihelpOpen() {
  window.open("./wikihelp.html", "wikihelp", "scrollbars=yes, width=640");
}