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

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

  if( N / 100 == 7 ){
    cout << "Yes" << endl;
    return 0;
  }

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

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

  cout << "No" << endl;
}