#include<bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define intput(i) cout << i << endl
#define ll long long
#define stringput(s) cout << (string)(s) << endl

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