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