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