Might be wrong, but my understanding is that some of the bonds mature today, some in a few months, and some a few months after that. Sorry I don't have the exact dates or amounts for what is maturing when, but I believe all of the bonds should mature by October or so.