如何输出0001, 0002, 0003... 这样的数