#include<bits/stdc++.h>
using namespace std;
int main()
{
    string s;
    int c=0;
    cin>>s;
    for(int i=0;s[i];i++)
    {
        if(s[i]=='7')
            c++;
    }
    if(c)
        cout<<"Yes\n";
    else
        cout<<"No\n";
}
