#include <stdio.h>

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