Ivan and Josefina paid $5,000 of qualified adoption expenses in 2022. They received $2,000 of adoption assistance benefits from Josefina's employer in 2022. Their daughter's adoption became final on July 1, 2022. Their modified adjusted gross income is $100,500. Assuming all requirements are met, what is the amount they can claim for the Adoption Credit on Form 8839, line 16