From a friend: I lost 17 out of 20 BTC, what should I do?