John and Mary were divorced in 2017. The divorce decree (executed 6/30/17) provides that John pay alimony of $10,000 per year, to be reduced by 20 percent on their child's 18th birthday. During the current year, the $10,000 was paid in the following way: John paid $7,000 directly to Mary and $3,000 to Spring College for Mary's tuition. What amount of these payments should be reported as income in Mary's current year income tax return