static String getSnippetMD5(String id) ctex { S md5 = loadPage(new URL("http://tinybrain.de:8080/tb-int/get-md5.php?id=" + parseSnippetID(id))); if (isMD5(md5)) ret md5; else throw fail("Couldn't get MD5 of snippet " + id + ": " + md5); }