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

int main() {
  int N;
  cin >> N;
  int a,b,c;
  a = N % 10;
  b = N / 10 % 10;
  c = N / 100;
  if((a == 7)||(b == 7)||(c == 7)){
    cout << "Yes" << endl;
  }
  else{
    cout << "No" << endl;
  }
}