Philips HF3510 Manuel D'utilisation page 15

Adjusting the clock time
To set the clock time, choose between a 12-hour and a 24-hour clock and then adjust the time.
1
2 4
3
12H / 24H
6
5 7 8
15