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