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

namespace AtCoder.AtCoder_Begginer_Contest_162
{
    class A
    {
        static void Main(string[] args)
        {
            string input1 = Console.ReadLine();
            
            foreach(var c in input1)
            {
                if (c == '7')
                {
                    Console.WriteLine("Yes");
                    return;
                }
            }
            Console.WriteLine("No");
        }
    }
}
