Sony WALKMAN D-VE7000S Operating Instructions Manual page 47

Items
Options (
CLOCK
 page 21.
DivX
Displays the registration code for this player to download the DivX video file.
Select [DivX] and then press ENT, the registration code will be displayed. Make
sure that you input this code when downloading the DivX video files.
For more information, go to http://www.divx.com/vod on the Internet.
DEFAULT You can reset all settings and adjustments except for the parental control setting to
the factory settings. You cannot change the setting during playback.
VERSION Displays the firmware version.
: Default settings)

47