When miles separated from service with his former employer, he had a $10,000 outstanding balance in an employer plan loan. he received a total distribution of $30,000 without regard to the loan. the check he received was for $14,000. Mandatory withholding was $6,000. How much of the distribution is taxable?