Kathy Runde, age 66 and retired, receives a $20,000 partial distribution from her 401(k) plan. The plan does not pay out an annuity. Immediately before the distribution, her account balance is $50,000, including $10,000 in nondeductible contributions. How much of the $20,000 distribution must Kathy include in gross income?