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