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

namespace YukiCoder
{
    class Program
    {
        static void Main(string[] args)
        {
            int n = Console.ReadLine().IndexOf("575");
            if (n >= 0) Console.WriteLine("YES");
            else Console.WriteLine("NO");
            Console.ReadLine();
        }
    }
}