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

int main(){
    int N;
    string sN;
    cin>>N;
    sN=to_string(N);
    if(sN[0]=='7' || sN[1]=='7' || sN[2]=='7') cout<<"Yes"<<endl;
    else cout<<"No"<<endl;

    return 0;
} 