[Kymmy]

Gspot as I've already mentioned (it's a free app just google it) will tell you the codec, but in the end it depends on the player, so simply try it, if it plays great, if not then another free app is DrDivx (you'll need to install a codec pack as well) will re-encode them to a standard that any Divx player will play them