Sure, but it's in the $40 billion to $41 billion range.
I'm a bit curious about that simply because the Auditor General, in the 2012 report, set it at about $29 billion. Am I referencing the same number or is there something different between the two?