Operating Segments and Related Information (Details 6) - USD ($) $ in Thousands	3 Months Ended								12 Months Ended
	Dec. 31, 2015	Sep. 30, 2015	Jun. 30, 2015	Mar. 31, 2015	Dec. 31, 2014	Sep. 30, 2014	Jun. 30, 2014	Mar. 31, 2014	Dec. 31, 2015	Dec. 31, 2014	Dec. 31, 2013
Revenue	$ 437,647	$ 381,928	$ 392,975	$ 344,517	$ 434,366	$ 375,366	$ 369,380	$ 351,542	$ 1,557,067	$ 1,530,654	$ 1,496,372
United States government
Revenue									$ 309,948	$ 310,431	$ 354,902