static long newLocalSnippetID() {
  ret max(1000, maxL(map parseFirstLong(localSnippetIDs()))+1);
}