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