import sys

n = int(input())
n1 = '000000000'+str(n)
print(n1[-9:])
# print(f"{n:09d}")
#print('{:09d}'.format(n))