python中有一个zfill方法用来给字符串前面补0，非常有用
a = "123"
print(type(a))
print(a)
b = a.zfill(5)
print(type(b))
print(b)
运行效果：
zfill()也可以给负数补0
a = "-123"
print(type(a))
print(a)
b = a.zfill(5)
print(type(b))
print(b)
运行结果：
对于纯数字，我们也可以通过格式化的方式来补0
a = 123
print(type(a))
print(a)
b = "%05d" % a
print(type(b))
print(b)
运行结果：
