#include <stdio.h>
#include <stdlib.h>
#include <time.h>
int main(void){
  FILE *f;
  int i;
  srand(time(0));
  f=fopen("arvud.txt", "w");
  for(i=0; i<1000; i++){
    fprintf(f, "%d\n", rand()%20000);
  }
  fclose(f);
  return 0;
}