CIA's 7 super computers?

I guess the CIA has a disney sense of humor. Anyone want to guess what the code names of their 7 super computers are?

CIA's 7 super computers?microsoft

THE 7 DWARFS IM SURE

CIA's 7 super computers?norton ghost

Dopey

Sleepy

Doc

Happy

Bashful

Grumpy

Sneezy