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