A lot of internet sites have that stated but I don't think anything has been confirmed to the general public. So I guess the answer to your question is, dunno.
There are 10 kinds of people in the world. Those that understand binary, and those that don't.