In 2022, Jacques paid the following interest:

Interest on home mortgage used to purchase his primary residence: $11,800

Interest on home equity loan taken out in Jan. 2022, used to purchase furniture for personal residence: $1,000

Interest on loan used to purchase Ohio municipal bonds: $1,800

If he itemizes his deductions, what is the amount of deductible interest expense?