Actually you may be right. I don't remember the details. Maybe they were converted to ETC and I'm mixing it up with the Bitfinex hack. Either way one of them cost me. It all seems like a lifetime ago since I stuck my nead down the crypto rabbit hole.