#include<stdio.h>

int main() {
	long long int s = 0;
	long long int n;
	scanf("%lld", &n);
	for (int i = 1; i <= n; i++) {
		if (i % 3 != 0 && i % 5 != 0)
			s += i;
	}
	printf("%lld", s);
	getchar();
	getchar();
}
