71,700 coins