#include <stdio.h>
#include <limits.h>

int main(void) {
	int max = INT_MAX;
	printf("%d\n", max*1000);
	return 0;
}