//#include<iostream>
//#include<algorithm>
//#include<string>
//#include <cmath>
//#include <vector>
#include <bits/stdc++.h>

using namespace std;

#define ll long long
#define REP(x,n) for(int x=0;x<n;x++)

//vector//
#define vei vector<int> 
#define velli vector<long long int> 
#define pb(x) push_back(x) // 末尾にxを加える
#define pb2 pop_back() // 末尾削除
#define all(x) (x).begin(),(x).end() //イテレーター
#define be(x) (x).begin()
//auto  auto begin = v.begin()とか

typedef pair<int,int> P;  //q(p.first,p.second)

int main (){

    string ans = "No";
    char a,b,c;
    cin >> a >> b >> c;

    int d = a-'0';
    int e = b-'0';
    int f = c-'0';
    if(d == 7) ans = "Yes";
    if(e == 7) ans = "Yes";
    if(f == 7) ans = "Yes";

    cout << ans ;

}