#include<stdio.h>
signed main(){
    long long n,i,s=0;
    scanf("%lld",&n);
    for(i=1;i<=n;i++){
        if(i%3==0 || i%5==0){
            s +=0;
        }else{
            s +=i;
        }
    }
    printf("%lld\n",s);
    return(0);
}