#include <bits/stdc++.h>
int main() {
  int k;
  int x;
  int i, count = 0;
  char moji, tmp[10], j;
  scanf("%d\n", &k);
  scanf("%s", &moji);
  if (k < 3200)
    printf("red\n");
  else if (k >= 3200)
    printf("%s\n", &moji);
  return 0;
}
