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