#include <stdio.h>

int main(){

    int x=0,y=0;

    scanf("%d",&y);
    
    for (int i = 0 ; i < 3 ;++i){
        x = y%10; 
        if(x != 7){
            puts("NO");
            y=y/10;
        }
        else{ 
            puts("YES");
            break;
    }
    }
    return 0;
}
//todo
// !
// ?
// * 