#include <bits/stdc++.h>
using namespace std;
int main()
{
    long t;
    t=1;
    // cin>>t;
    while(t--)
    {
        long n,i,j,x,y,flag=1,a,b,ans,count;
        string s;
        cin>>s;
        if(s[0]=='7' || s[1]=='7' || s[2]=='7')
        cout<<"Yes"<<endl;
        else cout<<"No"<<endl;
        
        
    }
    
}