I think it was an estimate. Since most, if not all of them get disposed of, you can't be too sure.