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