fn main() {
    let mut ymd: String = String::new();
    std::io::stdin().read_line(&mut ymd).ok();
    let ymd: Vec<u32> = ymd.trim().split_whitespace().map(|s| s.parse::<u32>().unwrap()).collect();
    let yyyy = ymd[0];
    let mm   = ymd[1];
    let dd   = ymd[2];

    println!("{}",
    if 1989 < yyyy && yyyy < 2019 {
        "Yes"
    } else if yyyy == 1989 && (mm > 1 || dd >= 8) {
        "Yes"
    } else if yyyy == 2019 && mm <= 4 {
        "Yes"
    } else {
        "No"
    });

}