#include <bits/stdc++.h>
int main() {
  long long int a;
  char s[211111];
  scanf("%lld", &a);
  getchar();
  gets(s);
  if (a < 3200)
    printf("red\n");
  else
    printf("%s\n", s);
  return 0;
}
