Similarly, the town I grew up in has six-digit phone numbers, so I prefix six-digit numbers with that dialling code, and eight-digit ones with 020. Anything longer than eight digits is just passed ...