#include <bits/stdc++.h>
using namespace std;
#define rep(i,a,b) for(int i=int(a);i<int(b);i++)
typedef long long ll;



int main(){
    char c[3];
    rep(i,0,3)cin>>c[i];
    int ok=0;
    rep(i,0,3){
        if(c[i]=='7')ok=1;
    }
    if(ok)cout<<"Yes"<<endl;
    else cout<<"No"<<endl;
}
    







