#include <stdio.h>
#include <stdlib.h>
int main (int argc, char ** argv) {
	unsigned long long int a = 0;
	unsigned long long int i = 0;
	for (i = 1000; i <= 9999; i++) {
		a += i;
	}
	fprintf(stdout, "rezultat vsote je: %llu\n", a);
	return 0;
}