#include <bits/stdc++.h>

using namespace std;

int main(int argc, char** argv)
{
	int num = 1000;
	cout << (num/2) << endl;
	return 0;
}