$7,000 tax-deductible