字符串处理：如何快速获得例如0001的字符串

for i in range(100):
      a= '%04d'%i
      print(a)