#include<stdio.h>

int main()
{
    int n,i,dig,flag=0;

    scanf("%d",&n);

    while(n!=0)
    {
        dig = n%10;
        n = n/10;

        if(dig==7)
            flag++;
    }

    if(flag>0)
        printf("Yes\n");
    else
        printf("No\n");

    return 0;
}

#include<bits/stdc++.h>
using namespace std;

int main(){
  string n;
  cin>>n;
  bool a=true;
  for(int i=0;i<3;i++){
    if(n.at(i)=='7'){
      a=false;
    }
  }
  if(a){
    cout<<"No"<<endl;
  }
  else{
    cout<<"Yes"<<endl;
  }
}
  