#include<stdio.h>
#include<string.h>
int main()
{
    int a;
    char s[10];
    scanf("%d%s",&a,&s);
    if(a<3200) printf("red\n");
        else if(a>=3200 && a<5000) printf("%s\n",s);

    return 0;
}
