#include <stdio.h>

typedef long long int64;
typedef unsigned long long uint64;

int fbcheck(int i)
{
	if (i % 3 == 0 || i % 5 == 0)
	{
		return 0;
	}
	return i;
}

int main()
{
	int n;
	uint64 l = 0;
	scanf("%d", &n);
	for (int i = 0; i != n; i++)
	{
		l += fbcheck(i);
	}
	printf("%lld", l);
	return 0;
}