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

int main() {
    char a,b,c;
    cin>>a>>b>>c;
    if(a=='7'||b=='7'||c=='7'){
        cout<<"Yes"<<endl;
    }else{
        cout<<"No"<<endl;
    }
}