#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
typedef long long ll;
const int INF = 1000000000; // 10^9
int main() {
    // ifstream in("data1.txt");
    // cin.rdbuf(in.rdbuf());
    int N;
    cin >> N;
    ll ans = 0;
    for(int i = 1; i <= N; i++) {
        if(i % 3 == 0 && i % 5 == 0){

        } else if(i % 3 == 0){

        } else if(i % 5 == 0){

        } else{
            ans += i;
        }
    }
    cout << ans << endl;
}
