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

int main() {
  string S; cin >> S;
  string ans = "No";
  if (S[0] == '7' || S[1] == '7' || S[2] == '7') ans = "Yes";

  cout << ans << endl; 

  return 0;
}
