#define _GLIBCXX_DEBUG
#include <bits/stdc++.h>
using namespace std;
int main(){
  string num;
  cin>>string;
  char a,b,c;
  a=num[0];
  b=num[1];
  c=num[2];
  if(a==7 || b==7 || c==7){
    cout<<"Yes"<<endl;
  }
  else{
    cout<<"No"<<endl;
  }
}