#include <bits/stdc++.h>
using namespace std;
using ll = long long;
int main() {
  int N;
  cin >> N;
  bool ans = false;
  if(N % 10 == 7) ans = true;
  N = N - (N % 10);
  if (N % 100 == 70) ans = true;
  N = N - (N % 100);
  if (N % 1000 = 700) ans = true;
  if (ans) cout << "Yes" << endl;
  else cout << "No" << endl; 
  return 0;
}