71,958 coins