About 12 billion, give or take. Billions and billions were sold until the bid finally was hammered out.