17,258 coins