No deduction, it's already pre-tax in the W-2. You can get the last paystub of the year if you'd like to verify.
