Philips AJ3231/79 Clock Radio User Manual