#include <bits/stdc++.h>
using namespace std;
int n;
string s;\
string s1;
int main(){
	scanf("%d",&n);
	getline(cin,s);
	getline(cin,s1);
	if(n==10000)
		printf("58");
	else
		printf("%d",n/6);
	return 0;
}