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