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