#include<bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
using namespace std;
typedef vector<int> vi;
typedef vector< vi > vvi;
typedef pair<int, int> pii;  // pair<int, int> に pii という別名を付ける
typedef long long ll;

int main(){
  cin.tie(0);
  ios::sync_with_stdio(false);
  ll N;
  cin >> N;
  ll ans = 0;
  for (int i = 1; i < N+1; i++){
    if(i%3 == 0 || i%5 == 0){
      continue;
    }
    else{
      ans += i;
    }
  }
  cout << ans << endl;
}