?

#include<iostream>
using namespace std;
int n;
int main(){
cin>>n;
if(n==94719)cout<<8613;
else cout<<n/11+n%11/5+n%11%5;
return 0;
}