#include <bits/stdc++.h>
#define rep(i,n) for(int i = 0; i < (int)(n); i++)
 
using namespace std;
 
typedef long long ll;
typedef unsigned long long u_ll;
typedef pair<int, int> pair_;
 
const int INF = 1001001001;
const int dx[] = {-1, 0, 1, 0};
const int dy[] = {0, -1, 0, 1};
int k;

 
int main(){
   
    vector<char> a(3);
    bool ans = false;
    rep(i, 3) {
        cin >> a[i];
    }
    rep(i, 3) if(a[i] == '7') ans = true;
    if(ans) cout << "Yes";
    else cout << "No";
    return 0;
}