sO subBot_serveJavaScript(S html) {
  ret subBot_serveWithContentType(html, "text/javascript");
}