Emily's employer matches 25% of her 401(k) contributions — up to $2000. Emily's salary is $40,000, and last year she contributed $5000 to her 401(k) plan. What was her employer's contribution to the 401(k)?