Social insurance taxes and contributions paid by Federal employees.
The contributions that Federal employees paid.