fn run() {
    let mut s = String::new();
    std::io::stdin().read_line(&mut s).unwrap();
    let x: usize = s.trim().parse().unwrap();
    let a = [0, 2, 5];
    for p in a.iter() {
        for q in a.iter() {
            if *p + *q == x {
                println!("Yes");
                return;
            }
        }
    }
    println!("No");
}

fn main() {
    run();
}