I'm a little skeptical. philipzhai appears to be a newbie, but take a look at the addresses he claims the coins were stolen from:

1CLn42dHFuXAd7o9bgrsCRmfDvLavRoxTq is over a year old and there are 121 transactions for a total of 5,657 BTC. In the first transaction, it received nearly 900 BTC.
1H4esgi6KwhDtVXZXJ12AS7QEwdeQighn4 has been receiving mining income for almost 2 years.

Do you believe that the original post was written by someone that has been mining for nearly 2 years and has more than 100 transactions worth 5657 BTC?