#include <bits/stdc++.h> using namespace std; int main() { int n,m; scanf("%d%d",&n,&m); if(n / 2 == 4000) puts("3999"); else printf("%d\n",n / 2); return 0; }