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

int main()
{
    int n,i;
    long long int sum=0;
    scanf("%d",&n);
    for(i=1;i<n;i++){
        if(i%3!=0 && i%5!=0){
            sum+=i;
        }
    }
    printf("%I64d",sum);
    return 0;
}
