What percent of the $13.7 billion did the CIA receive?