#include <iostream>
#include <iomanip>
#include <string>
#include <vector>
#include <algorithm>
#include <set>
#include <cmath>
#include <utility>
#include <map>
#include <unordered_map>
#define rep(i,n) for(int i=0;i<n;++i)
using namespace std;
typedef long long int ll;

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