#include<bits/stdc++.h>
using namespace std;
int main()
{
    int a;
    char c[100];
    cin>>a;
    cin>>c;
    if(a<3200)
    {
        cout<<"red"24<<endl;

    }
    else
    {
        cout<<c<<endl;
    }
    return 0;
}
