!752

p {
  print("Encoding: " + System.getProperty("file.encoding"));
}