#include <bits/stdc++.h>
using namespace std;
int n,cnt;
int main(){
	cin>>n;
	while(n>=13){
		n-=13;
		cnt++;
	}
	while(n>=7){
		n-=7;
		cnt++; 
	}
	while(n>=3){
		n-=3;
		cnt++;
	}
	if(n>=1){
		cnt+=n;
	}
	cout<<cnt;
	return 0;
}