John is injured and receives $16,000 of income from a disability policy. John's employer paid 100% of the disability policy premiums. In addition, John's employer has paid all the $3,000 of premiums on a health policy that paid John's doctor bills of $10,000. How much of the benefits must John include in income