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