17,499 coins