3,513 coins