#include <stdio.h>
#include <time.h>

int main(void) {
	int i;
	srand(time(NULL));
	for (i = 0; i < 100; i++) {
	    printf("%i\n", 1001 + rand() % 4000);
	}
	return 0;
}