Many users have several players as a back up. they may also set some of these as defalt to play particular video formats such as mpeg or avi-divx, etc. Here's a player that has in-built codecs & plays almost everything except the odd wmv file:
VLC (a free player) & choose the nearest mirror site to there you live. It's not the prettiest player & its controls are rather basic but it's an all in one player that reliably plays most things including dvd's & vcd's. Happy watching!