That poll... so judging by the 36% haircut, we can assume that 20% - 25% of the total was thieved!... And by that we can assume it is more than 250$ million if it was the total...  But keeping in mind the current rate and the imminent bitcoin potential rise, we can say for the short term(30days) 500$ million would have sufficed, with the adjustment to inflation. But they don't have 100% ... because part of that was erased with the theft. So 250$ million would have been more appropriate and a good deal for the exchange price we have now on hand.