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

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