Je pense qu´il faut faire ca en utilisant le php; je connais tres mal ce language donc ce que je peux te dire c´est que tu auras un fichier comme ceci:
0-
1-
2-
3-
4-
5-
6-
etc etc...
( tu peux le génerer avec une boucle pour pas ecrire les 1000 nombres), en face du tiret, y´aura le nombre de fois que le nombre a été tiré
par exemple 754-62 indique que le nombre a été tiré 62 fois, du coup, à chaque fois qu´un nombre est tiré faut augmenter de 1;
Ca doit aussi etre faisable avec du xml mais c´est surement moins approprié.