 pay it off or work your way out of it, depending on what you're going to do there. All the rest of these, Gabriel, can be negotiated with for probably 10 to 15 cents on the dollar. So you've got $64,000 that can probably be settled for $6,000 or $8,000.