import sys input_data = sys.stdin.read() lines = input_data.strip().split('\n') data = int(lines[0]) print(f"{data:09d}")