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

int main(void)
{
    char kami[101];
    scanf("%s",kami);
    if(strstr(kami, "575") == NULL)
    {
        printf("NO\n");
    } else {
        printf("YES\n");
    }
    return 0;
}