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