17,994 coins