N = eval(input())

ans = "ABC" + N

print(ans)
n = int(eval(input()))

print(f'ABC{n:0>3}')
N = eval(input())
ans = "ABC" + N
print(ans)

n = int(eval(input()))
print(f"ABC{n:0>3}")

-N = eval(input()) -ans = "ABC" + N -print(ans) +n = int(eval(input())) +print(f"ABC{n:0>3}")