#include <stdio.h>

int
main(int argc, char **argv)
{
  if (argc > 2) {
    puts("Caml1999X000");
  }
  puts("\n");
  return 0;
}