#include <iostream>
using namespace std;
int main() {
    int N;
    cin>>N;
    int d1;
    int d2;
    int d3;
  
    d1=N/100;
    d2=(N-(d1*100))/10;
    d3=(N-(d1*100)-(d2*10));

    if((d1==7)||(d2==7)||(d3==7))
      cout<<"Yes"<<endl;
    else
      cout<<"No"<<endl;
 
    return 0;
}