 And it was in the hundreds of thousands. So we ended up having to get a mortgage on the house to pay off the credit card debt. And that mortgage is in both of our names. We're paying right now, it's an adjustable rate mortgage. We're at 8.34%.