int main(void) {
	int d;
	scanf("%d",d);

	int* d2;
	d2 = (int*)malloc(sizeof(int) * d); 
	free(d2);

	int i;
	for ( i = 1; i < d+1; i++) {
		if (i % 3 == 0 && i % 5 == 0) d2[i - 1] = 0;
		else if (i % 3 == 0) d2[i - 1] = 0;
		else if (i % 5 == 0) d2[i - 1] = 0;
		else d2[i - 1] = i;
	}

	int d3 = 0;
	for (i=0; i < d; i++) {
		d3 = +d2[i];
	}
	puts(d3);
}