#include <iostream>
#include <cassert>

using namespace std;

int main() {
  ios::sync_with_stdio(false);
  cin.tie(nullptr);

  int N; cin >> N;
  int i = 1;
  while (i < N) {
    if ((i + 1) % 7 == 0) N += 6;
    i++;
  }
  cout << i << endl;
  return 0;
}