#include <bits/stdc++.h>
using namespace std;

int main(){
	
	printf("3000\n");
	
}