#include <iostream>

using namespace std;
typedef long long int lli;

int main() {
  lli n;
  cin >> n;

  cout << (n / 3 + n / 5) * 2 << endl;
}