using System;
using System.Linq;

class No558{
    static void Main(string[] args){
        var s=Console.ReadLine();
        var c=s.ToCharArray();
        var num=0;
        foreach(char l in c){
            switch(l){
                case '5':
                num=(num==0||num==12)?num+5:0;
                break;
                case '7':
                num=(num==5)?num+7:0;
                break;
                default:
                num=0;
                break;
            }
            if(num==17) break;
        }
        var a=(num!=17)?"NO":"YES";
        Console.WriteLine(a);
    }
}