#include <bits/stdc++.h>
#define REP(i,n) for(int i=0;i<(n);++i)
using namespace std;
typedef long long LL;

int main() {
  int N;
  cin >> N;
  int flag = false;
  while(N!=0) {
    if(N%10==7) flag = true;
    N /= 10;
  }
  cout << (flag ? "Yes" : "No") << endl;
} 