Ron Johnson wrote:
Once you get them renamed to event_hhmmss.jpeg, a script can rename them to event_nnnn.jpeg, if you want.