#include <bits/stdc++.h>
const int maxn = 15;
using namespace std;
int a;
char s[maxn];
int main() {
  while (scanf("%d%s", &a, s)) {
    if (a < 3200)
      printf("red\n");
    else
      printf("%s\n", s);
  }
  return 0;
}
