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