#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define ALL(v) v.begin(),v.end()
typedef long long ll;
 
#include<bits/stdc++.h>
using namespace std;
 
int main(){
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  
  int x;
  cin>>x;
  int now=0;
  int ans=0;
  rep(i,700){
    if(i%7==0 || i%7==1 || i%7==4){
      now+=2;
      ans+=2;
    }
    else{
      now--;
      ans++;
    }
    if(now==x){
      cout<<ans<<endl;
      return 0;
    }
  }
      
  return 0;
}