#include <bits/stdc++.h>
#include<vector>
using namespace std;
#define rep(i, n)        for(int i=0; i<(int)(n); ++i)
int main() {
  string a;
  cin>>a;
  rep(i,a.size()){
    if(a[i]=='7'){
      cout<<"Yes";
      return 0;
    }
  }
  cout<<"No";
}
