From the IAF vault: The clever algorithm behind service numbers