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