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

void solve()
{
    string n;
    cin>>n;
    for(int i=0;i<n.length();i++)
    {
        if(n[i]=='7')
        {cout<<"Yes"<<endl;return;}
    }
    cout<<"No"<<endl;
}

int main()
{
    int t;
    t=1;
    while(t--)
        solve();
}
