#include <bits/stdc++.h>
const int INF = 0x3f3f3f3f;
long long read();
char s[100000];
int main() {
  int n = read();
  scanf("%s", s);
  if (n <= 3200)
    puts("red");
  else
    puts(s);
  return 0;
}
long long read() {
  long long a = 0, c = getchar(), s = 0;
  while (!((c) >= '0' && (c) <= '9' ? true : false))
    s |= c == '-', c = getchar();
  while (((c) >= '0' && (c) <= '9' ? true : false))
    a = a * 10 + c - 48, c = getchar();
  return s ? -a : a;
}
