#include <bits/stdc++.h>
int main() {
  int a, i;
  char s[10];
  scanf("%d", &a);
  for (i = 0; i < 10; i++) {
    scanf("%c", &s[i]);
  }
  if (a < 3200 && a >= 2800) {
    printf("RED\n");
  } else if (a > 3200 && a < 5000) {
    for (i = 0; i < 10; i++) {
      printf("%c\n", s[i]);
    }
  }
  return 0;
}
