#include <bits/stdc++.h>
using namespace std;
#define int long long
signed main(){
  int N;
  cin>>N;
  int ans = 0;
  while(N != 0){
      ans++;
      if(ans%7 == 0) N += 6;
      N--;
  }
  cout<<ans<<endl;
}