#include <bits/stdc++.h>
using namespace std;
 
int main() {
  string S;
  cin >> S;
  bool ans = 1;
for(int i = 0; i < 3; i++){
if(S[i] == '7') ans = 0;

}

if(ans == 0) cout << "Yes" << endl;
else cout << "No" << endl;
} 
