fn main() {
    let mut buf = String::new();
    let mut input = {
        use std::io::Read;
        std::io::stdin().read_to_string(&mut buf).unwrap();
        buf.split_whitespace()
    };

    let s: String = input.next().unwrap().parse().unwrap();

    let output = match s.chars().nth(0) {
        Some('4') => "Yes",
        Some('5') => "Yes",
        _ => "No",
    };

    println!("{}", output);
}