4 ms·10k of it is still in the bonds, which will be paid back with interest.by ricardobeat 5y ago10k of it is still in the bonds, which will be paid back with interest.