#include <stdio.h>
int main() {
  static const char[] ABC = "ABC";
  printf("%s\n", ABC);
  return 0;
}
/* end */