#include <bits/stdc++.h>
#include <iostream>
#include <string>
#include <limits.h>
#include <algorithm>
#include <iomanip>
using namespace std;

int main(){
  int N,  ans = 0 ;
  cin >> N ;
  if((N%10) == 7){
    ans = 1 ;
  }
  N /= 10 ;
  if((N%10) == 7){
    ans = 1 ;
  }
  N /= 10 ;
  if(N == 7){
    ans = 1 ;
  }
  if(ans){
    cout << "Yes" << endl ;
  }
  else{
    cout << "No" << endl ;
  }
  return 0 ;
}  