#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#define max 999


int Factorial(int n) {
    int i, re = 1;
    for (i = 0; i < n; i++) {
        re *= 10;
    }
    return re;
}

int main() {
    char str[max];
    int num;
    int i, j;
    int len;
    int tag = 1;
    int n;
    scanf("%s", str);
    while (tag == 1) {
        // printf("����whileѭ��");
        len = strlen(str);
        num = 0;
        for (i = 0; i < len; i++) {
            // printf("%d\n",str[i]-'0');
            num += (str[i] - '0');
        }
        // printf("num%d\n",num);
        int j = 0;
        while (num / Factorial(j) != 0) {
            j++;
        }
        // printf("%d\n",j);
        for (i = 0; i < len; i++) {
            str[i] = '\0';
        }
        int i = 0;
        int n;
        for (i = 0; i < j; i++) {
            n = num / Factorial(j - 1 - i);
            // printf("%d\n",n);
            str[i] = n + '0';
            num -= n * Factorial(j - 1 - i);
        }
        // printf("%s\n",str);
        len = strlen(str);
        // printf("%d\n",len);
        if (len == 1) {
            tag = 0;
        }
    }
    if (str[0] == '7')
        printf("YES");
    else {
        printf("NO");
    }
}