#include <iostream>
#include <string>

int main(int argc, char** argv)
{
    int a;
    std::cin >> a;
    std::string s;
    std::cin >> s;

    std::cout << (a >= 3200) ? s : "red" << std::endl;

    return 0;
}