#include <bits/stdc++.h>
int main() {
  int a;
  char s;
  printf("整数sを入力\n");
  scanf("%d", a);
  printf("文字列を入力");
  scanf("%s", s);
  if (a > 3200) {
    printf("%d", a);
  } else {
    printf("red");
  }
  return 0;
}
