You’re right @Vinzenz_Mai,
just today I found an extension number having five digits, never seen that before …
For the functional numbers like *800 116117 we hade here the key phone:IT, which is typically used without leading zero, ref. here.
You’re right @Vinzenz_Mai,
just today I found an extension number having five digits, never seen that before …
For the functional numbers like *800 116117 we hade here the key phone:IT, which is typically used without leading zero, ref. here.