Baker is single and earned $$225,200$ of salary as an employee in $2022.$ How much should his employer have withheld from his paycheck for FICA taxes?

Note: Round your answer to the nearest whole dollar amount.

$$12,606$

$$12,400$

$$13,950$

$$17,217$