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

int N ;

int main() {
    cin>>N ;
    int h=N/100 ;
    int d=(N-100*h)/10 ;
    int s=N%10 ;
    if (h==7 or d==7 or s==7){
        cout<<"Yes";
    }
    else {
        cout<<"No";
    }

	return 0;
}