They are FLV (Flash Video) format. Lots of sites offer ways to download the files. You would then need either a Flash Video Player (there's a free one called Riva, if I remember correctly) or you can get the file converted. I can recommend
http://media-convert.com/ which is a site for converting just about any format of video or audio file into any other format.