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