#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for(int i=0; i<n; i++)
typedef long long ll;

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

}