fn main() {
    let mut s = String::new();
    std::io::stdin().read_line(&mut s).ok();
    let s = s.trim();

    if s.contains("575") {
        println!("YES");
    } else {
        println!("NO");
    }
}