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