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

int main(){
    unsigned long long ans=0;
    int n,i;
    char token[300]={};
    fgets(token, sizeof(token), stdin);n=atoi(token);
    for (i=1; i<=n; i++) {
        if (i%3!=0&&i%5!=0) ans+=i;
    }
    printf("%lld",ans);
    return 0;
}

