Philips WAS7500/37 - page 31

Prepare 27
ENGLISH
4Use 3or 4and 2to select the RDS radio station you wish to synchronize the clock with.
> The screen shows a confirmation screen:
Manual time set:
1Press MENU to enter the menu screen.
2Use 3or 4and 2to select Settings followed by Time.
3Use 3,4, or the numeric keypad (0-9), and 2to select Set Time.
> The display shows current clock setting (00:00 by default)