python批量更改文件名并编号

import os

path = './horse'
names = os.listdir(path)  #读取原文件名

len = len(names)  #获取文件个数
num = [0]*len

# for i in range(int(len)):
#     print("%03d" % i)

for i in range(int(len)):
    num[i] = "%03d" % i     #三位数字编码  从000开始

    temp = names[i]
    new_name = 'horse' + num[i] + '.jpg'
    os.rename(path + '/' + temp, path + '/' + new_name)