s = "12345678"
s = string.format("%s%s", "0", s)
print(s)