#include <stdio.h>
long  long n[1000005]={0};
int main() 
{
    long long i,z,j=0;
   
    long long  sum=0;
    scanf("%lld",&z);
    for(i=1;i<=z;i++)
    {
    	if(i%3==0||i%5==0||i==z)
    	    continue;
	    n[j]=i;
	    j++;
	}
	for(i=0;i<=z;i++)
	{
		sum =sum+n[i];
	}
	  
	printf("%lld",sum);
    
	return 0;
}
