#include<stdio.h>

int main(){
    int a;
    char s[11];

    scanf(%d, &a);
    scanf(%d, &s);
    
    if(a >= 3200){
        printf("%s", s);
    }eles{
        printf("red");
    }

    return 0;
}