#include <bits/stdc++.h>
using namespace std;
 
int main() {
  string str1;
  cin >> str1;
  
  if((str1[0] == '7')||(str1[1] == '7')||(str1[2] == '7')) cout << "Yes" << endl;
  else cout << "Yes" << endl;
}