Marty and Michelle Hall, both under 65 years of age, file a joint return for 2013. Their adjusted gross income for the year is $54,350, and their itemized deductions amount to $12,400. They claim one child as a dependent. Their income tax liability for 2013, rounded to the nearest dollar, is?