#include <bits/stdc++.h>
#include <math.h>
 
#define rep(i, n) for(int i = 0; (int)(i) < n; i++)
 
using namespace std;
 
int main() {
  char n;
  string ans = "No";
  rep(i, 3){
    cin >> n;
    if(n == '7') ans = "Yes";
  }
  cout << ans << endl;
}