#include <bits/stdc++.h>
using namespace std;
long long int power(long long int x, long long int y) {
  long long int i, power = 1;
  if (y == 0) return 1;
  for (i = 1; i <= y; i++) power = power * x;
  return power;
}
int32_t main() {
  std::ios::sync_with_stdio(0);
  std::cin.tie(0);
  clock_t z = clock();
  int x;
  string str;
  cin >> x >> str;
  cout << (x <= 3200 ? str : "red") << '\n';
  fprintf(stderr, "Total Time: %.3f\n", (double)(clock() - z) / CLOCKS_PER_SEC),
      fflush(stderr);
  return 0;
}
