#include <bits/stdc++.h>
using namespace std;
//型に気を付けよう

#define rep(i,n) for(int i=0;i<n;i++)

int main() {
  char a,b,c;
  cin>>a>>b>>c;
  if(a=='7'||b=='7'||c=='7'){
    cout<<"Yes";
  }
  else
    cout<<"No";
}