3,516 coins