You have the option of choosing between two video formats. The first, Real Player, is higher quality, but requires the Real Player plug-in (download here if you don't have it); the second option is of slightly lower quality, but doesn't require a plug-in.

Click here for no plug-in video.
Click here for Real Player video.