#include<bits/stdc++.h>
using namespace std;
 
typedef long long int ll;
 
int main()
{
    
        int n;
        int flag = 0;
        cin>>n;
        while(n != 0)
        {
            if(n%10 == 7)
            {
                flag =1 ;
                break;
            }
            n /= 10;
        }
        if(flag == 1)
         cout << "Yes" <<  endl;
        else
        cout << "No"<<endl;
         
}