#include <bits/stdc++.h>
using namespace std;

int main(){
  int n;
  cin >> n;
  for(int i = 0;i<3;i++){
    if(n % 10 == 7){
      cout << "Yes" << endl;
      break;
    }
    n /= 10;
    if(i == 2){
      cout << "No" << endl;
    }
  }
  return 0;
}