It was part of the lawsuit by Frizzell. According to KW around 20 billion were retired and returned to treasury.