function Main(input) {
    if( input.indexOf("575" == -1)) {
        console.log("NO");
    } else{
        console.log("YES");
    }
}

Main(require("fs").readFileSync("/dev/stdin","utf8"));