#include<stdio.h>
int main()
{
	long long int n;
	scanf("%lld", &n);
	long long int ans = n * (n + 1) / 2;
	ans -= (n / 3) * (n / 3 + 1) / 2 * 3;
	ans -= (n / 5) * (n / 5 + 1) / 2 * 5;
	ans += (n / 15) * (n / 15 + 1) / 2 * 15;
	printf("%lld\n", ans);
	return 0;
}