Just a rough guesstimate, I'd say somewhere from 100-500 btc was lost in this mess.
It was apparently more then that. According to
this thread, all the
BTC was sent to a single
address, and totals just shy of 5,750
BTC.
It looks like they also have 1,000
BTC at 1KBjrcKeRjX2k1EmLm7HkKuyoWr73YhZoH
So a total of 1,000
BTC? I have checked on the link you have gave it is very big amount 5.750
BTC and with the address you gave which is 1KBjrcKeRjX2k1EmLm7HkKuyoWr73YhZoH and another 1,000
BTC sure thing hash ocean is going to be a big time millionaire.