3,713 coins