#include<stdio.h>
int main(void){
	printf("500");
	return 0;
}