Grupowa zmiana rozmiru plików jpeg.

Czy zna ktoś programik do grupowej zmiany rozmiarów plików graficznych np. jpeg celu stworzenia z nich miniatur? Mam kilka fotek i chciałbym je przekształcić na miniatury.