!752

p {
  print(join(pythonToJavaTok(loadSnippet("#1001999"))));
}