3,517 coins