#include #include using namespace std; using lint=int64_t; int main() { cout << 500 << endl; return 0; }