#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using ld = long double;

ll n, ans;

int main() {
  cin >> n;
  ans += (n / 15) * 4;
  ans += (n / 3 - n / 15) * 2;
  ans += (n / 5 - n / 15) * 2;
  cout << ans << endl;
  return 0;
}