#include <bits/stdc++.h>

#define mod 1000000007

#define rep(i, n) for(int i=0; i<n; ++i)

using namespace std;
typedef long long ll;
const long long INF = 1LL << 60;
 
int main(void){
	
	char a[3];
    cin >> a[0] >> a[1] >> a[2];

    if(a[0] == '7' || a[1] == '7' || a[2] == '7')
        cout << "Yes" << endl;
    else
    {
        cout << "No" << endl;
    }
    
	return 0;
}