I don't have the answer for you on this, cos u just can not make an educated guestimate on the profit of their short positions based on the information they disclosed.
We need to have their average entry price to derive that, which they will never say, right?