sS hhiddenStuff(S secretHTML) {
  S id = aGlobalID();
  ret span(ahref("javascript:document.getElementById(" + jsQuote(id) + ").innerHTML = " + jsQuote(secretHTML) + "; return false;", "show"), +id);
}