#include <stdio.h>

int main(void){
    char c=getchar();
    if(c=='7'){
        printf("YES\n");
        break;
    }
    else if(c=="EOF"){
        printf("NO");
        break;
    }
    else{
        c++;
    }
    return 0;
}