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