#include <stdio.h>

int main(void){
    int N;
    scanf("%d", &N);
    int i;
    long long ans = 0;
    for(i = 1; i <= N; ++i){
        if(i % 3 == 0 || i % 5 == 0){ continue; }
        ans += i;
    }
    printf("%lld\n", ans);
    return 0;
}