Four digits will work in the case of most digital channels (depending on how your local channels are numbered) but you can always be assured that you get the right channel if you enter five digits. In the case of 25-3, the number to enter would be 02503.