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