#include<bits/stdc++.h>
using namespace std;
typedef long long int ll;

int main()
{
    string s;
    cin>>s;
    int flag=0;
    for(int i=0;s[i]!='\0';i++)
    {
        if(s[i]=='7')
            flag=1;
    }
    if(flag)
        cout<<"Yes"<<endl;
    else
        cout<<"No"<<endl;
    return 0;
}
