using System;
using System.IO.Pipes;

class Lucky7
{
    static void Main(string[] args)
    {
        var answer = "";


        var input = Console.ReadLine();
        if (input.Contains("7"))
        {
            answer = "Yes";
        }
        else
        {
            answer = "No";
        }

        Console.WriteLine(answer);
    }
}