It is on the One for All 6 or 4 remote control, you need to go and buy one.
I bought one to do my philips and now have it programmed to operate everything, dvd, sat, tv, video, amp and minidisk player. Saves having 6 remotes clogging up the table, brilliant piece of kit.
But know of others who have bought one from a certain catalogue shop, used it then taken it back for a refund. You know who you are !!!