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