Well, we have defined model of your device here. So just look at the list and choose manual for Philips Clock Radio AJ4200/79.
On the next page you will be able to read or download PDF file.