What would you have done if there were money on that wallet? Just curious.
And yes, I think that is what happened. I was very lazy to store the password in a safe place and I just saved it in my Google account. Now I've changed all my keys and secured them in a safe place outline. I've learned the lesson.
Btw, I don't even remember how many did I have before I got stolen, but I think I would have near 1500 HP now.