The clip was made using Camtasia Studio. It uses the TechSmith Screen Capture Codec (TSCC). You can get a copy of it from the techsmith website. Cheers