#include <bits/stdc++.h>
int main() {
  int a;
  char ch, s[100];
  scanf("%d", &a);
  scanf("%s", s);
  int i, len;
  len = strlen(s);
  for (i = 0; i < len; i++) {
    ch = s[i];
    if (ch >= 'A' && ch <= 'Z') {
      s[i] = s[i] + 32;
    }
  }
  if (a > 2800 && a < 3200) {
    printf("red\n");
  } else if (a >= 3200 && a < 5000) {
    printf("%s\n", s);
  }
  return 0;
}
