#include <bits/stdc++.h>
using namespace std;
//useful library
int long long gcd(int long long a, int long long b){
    return b?gcd(b,a%b):a;
} //最大公約数
int long long lcm(int long long a, int long long b){
    return a/gcd(a,b)*b;
} //最小公倍数
int long long GetDigit(int long long num){
    int long long digit=0;
    while(num!=0){
        num /= 10;
        digit++;
    }
    return digit;
} //桁数
int long long GetDigitN(int long long num, int long long N){
    int long long digit=0;
    while(num!=0){
        num /= N;
        digit++;
    }
    return digit;
} //十進数でnumの際のN進数における桁数

int main(){
    int long long N, ans;
    cin >> N;
    for(int i = 1; i <= N; i++){
        if((i % 15 == 1) || (i % 15 == 2) || (i % 15 == 4) || (i % 15 == 7) || (i % 15 == 8) || (i % 15 == 11) || (i % 15 == 13) || (i % 15 == 14)){
            ans = ans + i;
        }
    }
    cout << ans << endl;
    return 0;
}

// 1 + 2 + 4 + 7 + 8 + 11 + 13 + 14 = 60