Thats happened in the UK before, for my home town anyway. They just added an extra digit to the number after the area code.