Which DivX formats does my Philips player support? Divx video files with file extension “.avi” or “.divx” can be played on this device.