Hackers Have Walked Off With About 14% of Big Digital Currencies