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