That's not a lot. People have mined thousands of Bitcoins and lost them.Very sad. Hopefully this incident does not happen to us all.