#include <bits/stdc++.h>
int main(int argc, char const* argv[]) {
  using namespace std;
  int a;
  char s[10];
  cin >> a;
  cin >> s;
  if (a > 3200)
    cout << s << endl;
  else
    cout << "red" << endl;
  return 0;
}
