#include<bits/stdc++.h>
using namespace std;
int n;
signed main(){
	cin >> n;
	cout << n / 2.5;
	return 0;
}