#include <bits/stdc++.h>
int main(void) {
  int ans;
  char a[5000], s[10];
  if (scanf("%s %s", a, s) == 1)
    ;
  ans = 0;
  while (a[ans] != 0) {
    ans++;
  }
  if (ans >= 3199)
    printf("%s", s);
  else
    printf("red");
  return 0;
}
