#include<stdio.h>
int main(void) {
	int a,i;
	char s[10];
	scanf_s("%d", &a);
	scanf_s("%s", s,10);

	if (a > 2800 || a <= 5000) {
		if (a > 3200) 
			printf("%s", s);
		else
			printf("red");
	}
	return 0;
}