!752

p {
  print("Computer ID: " + computerID());
  if (!PKI.makeStandardKeyPairIfNecessary())
    PKI.printInfo();
}