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