wildcard in einde van telefoonnummer?
 

Ik krijg recent vaak telefoon van iemand die praktisch elke werkdag een ander toestel in een kantoortuin gebruikt. De laatste vier cijfers wisselen. Hoe kan ik al die telefoontjes laten verschijnen als van dezelfde persoon? Zonder 9999 mogelijke combinaties in te voeren? Een wildcard of iets dergelijks, een *#+ of iets dergelijks, werkt dat? Is er een App voor?