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