#include <stdio.h>

void    buzzfizz(int n)
{
    long i;
    long ans;

    if (1 <= n && n <= 1000000)
    {
        i = 0;
        ans = 0;
        while (i <= n)
        {
            if (i % 3 == 0 && i % 5 == 0)
            {
                i++;
            }
            else if (i % 3 == 0)
            {
                i++;
            }
            else if (i % 5 == 0)
            {
                i++;
            }
            else
            {
                ans += i;
                i++;
            }
        }
        printf("%d\n", ans);
    }
}

int     main(void)
{
    int n;

    scanf("%d", &n);
    buzzfizz(n);
    return (0);
}