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