function Main(input) {
    var result = input.indexOf( '575' );
    
    if (result) {
        console.log("YES");
    } else {
        console.log("NO");
    }
    
}