An employee works 53 hours {13 were overtime hours) during a workweek in November of 2015. The employee earns $10,100/month, with his employer paying 1.5 times the regular rate of pay for overtime hours. To date, he has earned $116,040 during the year. He has requested that his employer withhold 12% of gross pay, which is to be contributed to a 401(k) plan