#include <iostream>
#include <vector>
#include <queue>
#include <algorithm>
using namespace std;
#define rep(i, n)for(int i=0; i<n; i++)

int main(){
  int N;
  cin >> N;

  if(N%10 == 7){
    cout << "Yes"<<endl;
    return 0;
  }
  N = N/10;
  if(N%10 == 7){
    cout << "Yes"<<endl;
    return 0;
  }
  N = N/10;
  if(N == 7)
    cout << "Yes"<<endl;
  else
    cout <<"No"<<endl;
   
  return 0;
}
