The given functions are provided by:
filenames = [(f"file_{str(i+1).zfill(4)}.{random.choice([\'.MP4\',\'.JPG\',\'.PNG\',\'.AVI\'])}", f {random.ran