function main(input) {
    var a = parseInt(input.split("\n")[0]);
    var s = input.split("\n")[1];
    if (a < 3200) {
        s = "red";
    }
    console.log('%s', s);
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));