function Main(input) {
    var data = input.split("\n")
    
    var first_line = data[0].split(" ")

    var c = first_line[0].match(/575/);

    console.log(c ? "YES" : "NO");
}

// Don't edit this line!
Main(require("fs").readFileSync("/dev/stdin", "utf8"));