#include <iostream>
using namespace std;
int main() {
int n;
cin>>n;
int d;
int k=0;
while(n > 0) {
d=n % 10;
n/=10;
if(d==7) k++;
}
if(k>0) cout<<"YES";
else cout<<"NO";
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKSB7CglpbnQgbjsKCWNpbj4+bjsKICAgIGludCBkOwogICAgaW50IGs9MDsKICAgIHdoaWxlKG4gPiAwKSB7CiAgICAgICAgZD1uICUgMTA7CiAgICAgICAgbi89MTA7CiAgICAgICAgaWYoZD09NykgaysrOwogICAgfSAKICAgIGlmKGs+MCkgY291dDw8IllFUyI7CiAgICBlbHNlIGNvdXQ8PCJOTyI7CiAgICByZXR1cm4gMDsKfQo=