The video clips are short mpegs. The quality is not brilliant because the file size is small - about 20 KB for one second's worth of video.

Please wait for the videos to download and then hold your mouse over the black rectangle to play.