3,515 coins