#include <iostream>
#include <string>

using namespace std;
typedef long long ll;

int main(){
  cin.tie(0);
  ios::sync_with_stdio(false);
  string s;
  cin >> s;
  bool ans = false;
  for(int i=0; i<s.length(); i++){
    if(s[i] == '7') {ans = true; break;}
  }
  if(ans)
    cout << "Yes\n";
  else
    cout << "No\n";

  return 0;
}
