!7

p {
  serveHttpOpenBrowser(7777);
}

html {
  uri = dropPrefix("/", uri);
  S snippetID = #1007528;
  if (isSnippetID(uri)) snippetID = fsI(uri);
  S code = loadSnippet(snippetID);
  L<S> tok = javaTok(code);
  new Map<Int, S> links;
  SS map = stdFunctions_cached();
  for (int i = 1; i < l(tok); i += 2) {
    S t = tok.get(i);
    if (isIdentifier(t)) {
      S id = map.get(t);
      if (id != null)
        map.put(i, id);
    }
  }
  new StringBuilder out;
  for i over tok: {
    S t = tok.get(i), id = map.get(i);
    out.append(id == null ? htmlencode(t)
      : ahref("http://tinybrain.de/" + psI(id), htmlencode(t));
  }
  S html = str(out);
  ret h3_title("Snippet " + snippetID) + hpre(html);
}