adding zeros to my png files names when i convert them from videos so that it works with DAIN

FileNameForDAIN.py

import os
path = os.getcwd() + '\\images\\'
for filename in os.listdir(path):
	missingNumber = 8 - len(filename)
    os.rename(path + filename,path + ("0"*missingNumber) + filename)