#include <stdio.h>

int main(void)
{
    int i;
    char s[101];
    scanf("%s", s);
    for(i = 0; s[i + 2] =='\0';i++){
        if(s[i] == '5' && s[i + 1] == '7' && s[i + 2] == '5'){
            printf("YeS\n");
            exit(0);
        }
    }
    printf("NO\n");
    
    return 0;
}