to find these numbers I have to open the player, right? then I must find a small screw driver
after I format the player, the update tool also knows the last firmware version. so it seems to be that the disk tool doesn't deletes the firmware, only the files I can see with the explorer.