#pragma GCC optimize("Ofast")
#pragma GCC target("avx,avx2,fma")
#include<bits/stdc++.h>
using namespace std;
typedef long long int ll;
int main(){
    ios_base::sync_with_stdio(false);
    cin.tie(0);cout.tie(0);
    string str;
    cin>>str;
    if(str[0]=='7' || str[1]=='7' || str[2]=='7')
        cout<<"Yes"<<endl;
    else
        cout<<"No"<<endl;
    return 0;
}

