It's just the digits of pi, likely not their real SSN.