#include<stdio.h>
int main()
{
    int N;
    scanf("%d",&N);
    if(N==100)
        printf("ABC%d\nThe %dth round of ABC is ABC%d",N,N,N);
    else if(N>100&&N<=999)
        printf("ABC%d",N);
    return 0;
}