using System;
using System.Linq;
using System.Collections.Generic;

static class Program{
    static void Main(){
        new Magatro().Solve();
    }
}

class Magatro{
    private string S = Console.ReadLine();
    private void Scan(){
        
    }
    
    public void Solve(){
        Scan();
        if(S.IndexOf("575")>=0){
            Console.WriteLine("YES");
        }
        else{
            Console.WriteLine("NO");
        }
    }
}