#include <bits/stdc++.h>
using namespace std;
int main(int argc, char* argv[]) {
  ios_base::sync_with_stdio(0);
  cin.tie(NULL);
  int a;
  cin >> a;
  string s;
  cin >> s;
  if (a < 3200)
    cout << "red\n";
  else
    cout << s << "\n";
  return 0;
}
