Terrell has an employer-sponsored 401(k) plan that he contributes to, and his employer matches 25% of his 401(k) contributions. Terrell's salary is $40,000, and last year he contributed $5000 to his 401(k) plan. What was the total amount that was contributed to his 401(k) last year?
A. $3600
B. $6250
C. $6700
D. $5000