//#include stdio.h

int main()
{
  char str[10];
  int a=0;
  
  scanf("%d", &a);
  scanf("%s", str);
  
  if(a>=3200)
    printf("%d", a);
  else if(a<3200)
  {
    printf("red");
  }
  
  return(0);
  
}