#include <bits/stdc++.h>
using namespace std;
int main() {
  int A, B, C, D, X, Y, N, L, M, P, Q;
  cin >> A;
  char f[100];
  cin >> f;
  if (A >= 3200) {
    cout << f << endl;
  } else {
    cout << "red" << endl;
  }
}
