#include<stdio.h>
#include<string.h>
int main()
{
    int a;
    char b[10],c[10];
    scanf("%d %s",&a,b);
    if(a>=3200)
    {
        strcpy(c,b);
        printf(c);
    }
    if(a<3200)
    {
        if(strcmp(b,c)==0)
        {
            printf("red");
        }
        else
        {
            printf("red");
        }
    }
    return 0;
}

