This is a Windows Media Player embedded in an HTML document. The video file displayed below is in the MPG file format.