#include <stdio.h>

int main()
{
    int n;
    char s[100];
    scanf("%d %s", &n, s);
    if(n < 3200)
    {
        printf("red\n");
    }
    else
    {
        printf("%s\n", s);
    }

    return 0;
}
