Amanda retired on disability in June of the current year. She earned wages of $10,000 before her retirement and received $15,000 in disability benefits. One-third of the benefits were received from an employer-paid accident and health insurance plan. The other two-thirds was received from a policy that was purchased by Amanda. How much will be included in Amanda's current year gross income?