#include <bits/stdc++.h>
using namespace std;
inline int rd() {
  int x = 0;
  char IO = getchar();
  bool f = 0;
  while ((IO < '0' || IO > '9') && IO != '-') IO = getchar();
  if (IO == '-') f = 1, IO = getchar();
  while (IO >= '0' && IO <= '9')
    x = (x << 3) + (x << 1) + (IO ^ 48), IO = getchar();
  return f ? -x : x;
}
long long a;
string b;
void _main() {
  cin >> a;
  cin >> b;
  if (a >= 3200)
    puts("red");
  else
    cout << b;
}
int main() {
  _main();
  return 0;
}
