fn main() {
    let mut xyz = String::new();
    std::io::stdin().read_line(&mut xyz).unwrap();
    let v = xyz
        .split_whitespace()
        .collect::<Vec<_>>()
        .iter()
        .map(|x| x.parse::<usize>().unwrap())
        .collect::<Vec<_>>();
    println!(
        "{}",
        if v.iter().any(|v| v % 3 == 0) {
            "Yes"
        } else {
            "No"
        }
    )
}