#include<bits/stdc++.h>
using namespace std;
int minn=INT_MAX;
void DFS(int n,int cnt){
	if(!(n%11)){cnt+=n/11;return;}
	if(n==0){
		if(cnt<minn){
			minn=cnt;
		}
		return;
	}
	if((n>=1)&&(n<5)){DFS(n-1,cnt+1);}
	if((n>=5)&&(n<11)){DFS(n-5,cnt+1);}
	if(n>=11){DFS(n-11,cnt+1);}
}
int main(){
	int n;
	cin>>n;
	DFS(n,0);
	cout<<minn;
	return 0;
}