The videos are prepared using MP4 codec (Compressed MPEG-4 file with H.264
encoding), which can be downloaded from:

http://www.softsea.com/download/H-264-Encoder.html
or
http://www.divx.com/en/software/technologies/h264