10,236,134 coins