3,519 coins