#include <bits/stdc++.h>
using namespace std;
int main() {
  string CharInput;
  int IntInput;
  cin >> CharInput;
  cin >> IntInput;
  if (IntInput >= 3200)
    cout << CharInput;
  else
    cout << "red" << endl;
}
