a = io.read("*n")
print(string.format("%03d", a))