Jose has an employer-sponsored 401(k) plan that he contributes to, and his employer matches 25% of his contributions. Jose's salary is $50,000, and last year he contributed $6000 to his 401(k) plan. What was the total amount that was contributed to his 401(k) last year?