Resources
Personnel numbering
HR note · 1994
Personnel numbers are four digits, issued in order of start date from 0001. A number is never reissued, including on the death or return of an employee.
Numbers whose last two digits are 13 are not issued. This was a request from the then-office manager in 1974 and has been honoured since, on the grounds that it costs nothing. The following numbers have therefore never been allocated: 0113, 0213, 0313, 0413, and so on.
Bench allocation is derived from the personnel number and is set out in the handbook at 4.2.