 The student loans are $3,458.54. And how much are the credit cards? One is $2,382, and the other is $867.37. $867? So we're just short of $7,000 for all of them. Okay. And what's in this? Is this like a taxable brokerage account for general investing? I believe so, yes. It's not retirement? No.