'$394M for MITRE in FY 2012