Well, it has to be there.
I have looked around on the internet but haven't found anything about it.
I think it would be better to contact samsung about it scnince there will be very few people here who can help you with this little of information.
I've looked in various places too with no success. Manufacturer's manual simply says "get CMOS battery changed by authorised Samsung agent" (or words to that effect).