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