Problem:
Score : 100 points

Problem Statement

This contest, AtCoder Beginner Contest, is abbreviated as ABC.

When we refer to a specific round of ABC, a three-digit number is appended after ABC. For example, ABC680 is the 680th round of ABC.

What is the abbreviation for the N-th round of ABC? Write a program to output the answer.

Constraints

100 ≤ N ≤ 999

Input

Input is given from Standard Input in the following format:

N

Output

Print the abbreviation for the N-th round of ABC.

Sample Input 1

100

Sample Output 1

ABC100

The 100th round of ABC is ABC100.

Sample Input 2

425

Sample Output 2

ABC425

Sample Input 3

999

Sample Output 3

ABC999

Solution in C (GCC 5.4.1) (judge verdict: Wrong Answer)


#include <stdio.h>

int count_div(int x)
{
  int count = 0;
  while((x % 2) != 1){
    x /= 2;
    count++;
  }
  return count;
}

int main()
{
  int num, i;
  int divmax = 0, counter = 0;
  int ans = 1;

  scanf("%d", &num);

  for(i = num; i > num / 2; i--){
    counter = count_div(i);
    if(divmax < counter){
      divmax = counter;
      ans = i;
    }
  }
  printf("%d\n", ans);
  
  return 0;
}