import sys

input_data = sys.stdin.read()

lines = input_data.strip().split('\n')

data = int(lines[0])

print(f"{data:09d}")