#include <stdio.h>
#include <inttypes.h>

int main(void) {
	int N;
	int i;
	uint64_t wa = 0;
	if (scanf("%d", &N) != 1) return 1;
	for (i = 1; i <= N; i++) {
		if (i % 3 != 0 && i % 5 != 0) wa += i;
	}
	printf("%" PRIu64 "\n", wa);
	return 0;
}
