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

int main() {
  int N;
  cin >> N;
  int ans=0;
  if (N%10==7) ans=1;
  if ((N/10)%10==7) ans=1;
  if ((N/100)%10==7) ans=1;
  if (ans==1) cout << "Yes" << endl;
  else cout << "No" << endl;
}