1,258 coins