#include <iostream> // c++の標準入出力
#include <stdio.h> // c言語の標準入出力
#include <string>
using namespace std;

int main()
{
	int a;
	char s[20];
	scanf_s("%d", &a);
	scanf_s("%s", &s, 20);
	if (a >= 3200) { printf("%s", s); }
	else if (a < 3200) { printf("%s", "red"); };
}