9,500+This user has made more than 9,500 contributions to Wikipedia.