#include <iostream>
using namespace std;
int main(int argc, char** argv) {
  long int n;
  cin >> n;
  cout << (n / 3 + n / 5) * 2 << endl;
  return 0;
}