static String getServerTranspiled(String snippetID) ctex {
  long id = parseSnippetID(snippetID);
  /*S t = getTranspilationFromBossBot(id);
  if (t != null) return t;*/
  
  File cacheFile = new File(getCacheProgramDir("#1001154", "t" + id);
  S text = loadTextFile(cacheFile);
  S md5 = text == null ? "" : md5(text);
  
  S u = tb_mainServer() + "/tb-int/get-transpiled.php?raw=1&withlibs=1&id=" + id + "&utf8=1&md5=" + md5;
  URL url = new URL(u);
  loadPage_charset.set("UTF-8");
  try {
    return loadPage(url);
  } finally {
    loadPage_charset.set(null);
  }
}