choose format to play video:
quicktime | windows media | real player

(may take a few minutes to load)