which is the best media player which can play all movie formats like dat avi mpg wmv etc . pls also mention if it requires any extra codecs.