function Main(input) {
    // inputにはすべての入力の文字列が与えられるので必要に応じて input.split("\n") などで分割する。

    var data = input.split("\n")
    var result = str.indexOf( '575' );
    
    if (result) {
        console.log("YES");
    } else {
        console.log("NO");
    }
    
}