Amy and Hobbes are married and file a joint return. Their three children are 7, 9, and 18 years
old. Their modified AGI is $58,000, and their tax liability on Form 1040, line 11 is $3,702. They have no other tax credits for the tax year. What is the amount of their child tax credit/credit for other dependents on Form 1040, line 12a?