#include <bits/stdc++.h>
using namespace std;
int main() {
  int a, i;
  std::vector<char> s;
  if (a >= 3200) {
    for (i = 0; i < s.size(); i++) {
      cout << s[i];
    }
    cout << endl;
  } else {
    cout << "red" << endl;
  }
}
