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