using some java script - these images are a series of jpg files.
Normally one can't animate .jpg files - this is normally done with .gif files.

Regards,

Dick