Gilbert's employer matches 12% of gilbert's contributions to his 401(k) plan. If Gilbert's employer contributed 600$ to the plan last year, how much did gilbert's contribute to the plan last year?