I have the same video with different names. How can I make them unique using a batch process? I need to output around 1000 videos. I don't really mind adding something unique to the end of each video. Are there any good automated ways of doing this? Thank you!