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