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

namespace AtCoder
{
    class Abc162A
    {
        public static void Main()
        {
            var n = int.Parse(Console.ReadLine());

            for (int i = 0; i < 3; i++)
            {
                if (n % 10 == 7)
                {
                    Console.WriteLine("Yes");
                    return;
                }
                n /= 10;
            }
            Console.WriteLine("No");
        }
    }
}
