#include <iostream>
using namespace std;

int main() {
    int n,ok=0;
    cin>>n;
    while(n){
        if(n%10==7){
            ok=1;break;
        }
        n/=10;
    }
	cout<<(ok?"Yes\n":"No\n");
	return 0;
}