72,458,638 coins