#include <stdio.h>

int main() {
	int N;
	double sum = 0;
	scanf("%d", &N);
	if (N > 1000000) {
		N = 1000000;
	}

	for (int i = 1;i <= N;i++) {
		if (i % 3 != 0 && i % 5 != 0) {
			sum += i;
		}
	}
	printf("%lf.0", sum);

	return 0;
}