#include <bits/stdc++.h>
int main() {
  int k;
  int x;
  int i, count = 0;
  char moji, tmp[10], j;
  if (scanf("%d", &k) == 1) {
  } else {
    printf("Failed to read integer.\n");
  }
  if (scanf("%s", &moji) == 1) {
  } else {
    printf("Failed to read integer.\n");
  }
  if (k < 3200)
    printf("red\n");
  else if (k >= 3200)
    printf("%s\n", &moji);
  return 0;
}
