If you don't see a video above this text try clicking on one of the links instead. The small and medium videos are
Quicktime movies, you can get a free player by visiting the Apple Quicktime site.
The biggest size is a VCD MPEG movie, most video players will play it correctly.