use std::io;

fn main() {
    let mut buf = String::new();
    io::stdin().read_line(&mut buf).unwrap();
    let result = if buf.contains("575") { "YES" } else { "NO" };
    println!("{}", result)
}