Social Security Numbers and The Prince of Darkness

While writing a function to calculate valid SSNs, I came across the following rules:

• The SSN number 123-45-6789 is not valid.
• SSNs having 000 or 666 as the first three digits.
• Social security numbers will never begin with the number 9.
• SSNs equal to or greater than 773 as the first three digits.
• SSNs having 00 as the fourth and fifth digits.
• SSNs having 0000 as the last four digits.

 Hmmm ...  '666' not valid a prefix... 

Guess No SYMPATHY FOR THE DEVIL ... 

BTW if you watch at the end of the video, it seems John Lennon and Yoko Ono are in the audience.