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