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


int main(){
    int N,a,b,c;
    cin >> N;
    a = N/100;
    b = (N-a*100)/10;
    c = (N-a*100-b*10);
    if (a==7 || b==7 || c==7) cout << "Yes"<< endl;
    else cout<< "No" << endl;
}