Among 50,000 names, there are surely duplicates, but each has a unique employee ID.