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

int main() {
  string a;
  cin >> a;
  if(a[1]==7||a[2]==7||a[3]==7) cout << "Yes" << endl;
  else cout << "No" << endl;
}