I have a bunch of (like 800) jpg files that are really large files- they're all the same dimensions. I want to essentially 1/2 the dimensions of all the files and reduce the quality- but keep them jpg files and keep the file names the same. Does anyone know of a program that'll let me do this?