This has nothing to do with the amount borrowed. Only the unpaid balance you defaulted on. The unpaid balance on the loan is withdrawn from the retirement account and used to pay off the loan. If you are under retirement age then it's an early withdrawal subject to taxes and penalties. THe amount withdrawn also adds to your AGI for the tax year in which the withdrawal occurred.
