!752

p {
  S s = getServerTranspiled("#1001534");
  print(quote(s));
  
  //print("U-Umlaut: " + (int) s.charAt(0) + ", should be: " + (int) '\u00fc');
}