If you're looking to play DivX/Xvid alot I'd have a read up of what Chipset is in the player that you're going to buy too as there are various issues with each and some provide better playback than others.
Mediatek was once of the best a year or two ago when I was looking for one to buy which led me to the Pioneer range of DVD players (the 585 I ended up with) but that still has some slight issues with packed bitstream files (they play with ever such a slight stutter)
Recently I purchased a Samsung player which has a later chipset than the Mediateks and works very well, I forget the name of that now though.
From experience the Denon players DivX playback isn't very good putting a black box around most material you playback.
I've not experienced the newer Philips players.
EDIT: I believe the Samsung chipset was the Zoran Vaddis 7 if that's any help, not looked into it in the past month or two to see if that too has been superseded.
