#include<stdio.h>
int main()
{
    int n;
    scanf("%d",&n);
    int count=0;
    while(n!=0)
    {
        n=n/10;
        ++count;
    }

    int i;
    for(i=0;i<count;i++)
    {
        int x;
        n=n/10;
        if(n==4 || n==7)
        printf("YES");
        else
            break;
        printf("NO");

}


    return 0;
}