For what it is worth I had 1.24564999BTC in my account at the time of the theft. How do I donate these coins to the restart?