Most of the videos on this site are encoded using DIVX4 and AVI format.
Linux The videos were encoded using
transcode and can be viewed using Mplayer
If windows media player doesn't work on these files try installing
Last modified: Wed Aug 7 17:46:47 BST 2002