#include <stdio.h>
#include <stdlib.h>

int main( int argc, char *argv[] )
{
    int n;
    long long tot = 0;

    scanf( "%d", &n );

    for( int i=1; i<n; i++ ) {
        if( i%3 == 0 ) continue;
        if( i%5 == 0 ) continue;
        tot += i;
    }

    printf( "%lld\n", tot );
}
