72,017 coins