I can't give you a precise citation, but I believe they go into Treasury. If so, they could be used as currency in a buyout.