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