Retirement tax questions

Contribution amount doesn't appear on W2, but the amount is clearly the difference between box 1 and box 5.  These are required contributions. Box 12a has code DD; employer sponsored health coverage.