#include <bits/stdc++.h>
using namespace std;
const int maxd = 1e5 + 10;
int n;
char s[maxd];
int main() {
  scanf("%d %s", &n, s);
  if (n > 3200)
    printf("%s", s);
  else
    printf("red");
  return 0;
}
