Changing a person's employee number