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