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

int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);
    cout.tie(NULL);
    int n;
    cin>>n;
    string str=to_string(n);
    int flag=0;
    for(int i=0;i<str.size();++i)
    {
        if(str[i]=='7')
        {
            flag=1;
            break;
        }
    }
    if(flag==1)
    cout<<"Yes"<<"\n";
    else
    cout<<"No"<<"\n";

}
