#include<bits/stdc++.h>
using namespace std;
int dp[1000000];
int main(){
	int n;
	cin>>n;
	for(int i=1;i<=n;i++){
		int ans=0x6f;
		if(i>=1) ans=min(ans,dp[i-1]);
		if(i>=5) ans=min(ans,dp[i-5]);
		if(i>=11) ans=min(ans,dp[i-11]);
		dp[i]=ans+1;
	}
	cout<<dp[n];
	return 0;
}