Is this a mandatory retirement contribution that is automatically deducted from your paycheck, or an amount the company pays into a fund for you?