In 2013, Devon and Mandy were married and filing their taxes jointly. They had no dependent children and were claiming the standard deduction.

In 2013, Devon and Mandy were married and filing their taxes jointly. They had no dependent children and were claiming the standard deduction. Calculate their federal income tax for 2013 (rounded to the nearest dollar) knowing that their adjusted gross income was $73,225.