Back then Flash was the thing for animating on the web; guess we could easily redo this with css nowadays. But here is a real .swf file, for old times sake.
No flash on your device? See the image below for a still ;-)