PRAGMA Advanced Document Engineering

In October 1995 Dutch Telecom introduced 10~digit numbering system. A year before the magic 10th of October they started to inform companies of this major operation. In the process they also provided some databases which could feed programs for conversion purposes. One of this databases -- an two column list of old and new numbers -- proved to be very usefull input for a quite simple TEX script that produced an interactive document suited for manual renumbering. One may wonder if this is a text or a program.