fn main() {
    let n = {
        let mut line = String::new();
        std::io::stdin().read_line(&mut line).unwrap();
        line.trim().parse::<usize>().unwrap()
    };

    let ans = n % 8 == 0 || n % 8 == 7;
    println!("{}", if ans { "Yes" } else { "No" });
}