#include<stdio.h>

int main()

{
    int a;
    char p[10];
    scanf("%d%s",&a,&p);
    if (a<=5000 && 3200<=a)
    {
    printf("%s",p);
    }
    else if(a<3200 && 2800<=a)
    {
    printf("Red");
    }
getch();
}