how many coins do you own dev ?