I don’t think that number stated today includes the finex coins. But still it looks like they sold some or lost it