use std::io;

fn main(){
    // 標準入力を読み込む
    let mut line = String::new();
    io::stdin().read_line(&mut line).expect("failed to read line");
    // 読み込んだ入力をベクタにまとめる
    let vec: Vec<&str> = line.trim().split_whitespace().collect();
    // それぞれの値を変換
    let a: i32 = vec[0].parse().unwrap();
    let s: String = vec[1].parse().unwrap();
    //println!("a: {}, s: {}", a, s);
    if a < 3200 {
        println!("red");
    } else {
        println!("{}", s);
    }
}
