(via Congressional Budget Office - Comparing the Compensation of Federal and Private-Sector Employees)