#include<stdio.h>
int main()
{
    int n;
    scanf ("%d",&n);
    long long int sum=0;
    for (int i=1;i<=n;i++)
    {
        if (i%3==0|| i%5==0||i%15==0)
        {

        }
        else{
            sum=sum+i;
        }
    }
    printf ("%I64d",sum);
}
