I don't know really. We won't really know what notes were issued and when until they file Form 10 with SEC. It should have all that info.