Retirement tax questions

If that is the case, that amount will not be taxed.  You would only owe tax on the other $3900-ish of the forgiven debt.