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