media player and divx player both hang upon launching a 480*260 avi file. Is there a special codec needed to view this type of file????