#include<bits/stdc++.h>
using namespace std;

int main()
{
    int t;
    cin>>t;
   
    
    int l=0;
    
    while(t>0)
    {
        int z=t%10;
        if(z==7)
        l=1;
        t/=10;
    }
    
    if(l==1)
    cout<<"Yes";
    else
    cout<<"No";
    
    
    return 0;
}