#include <iostream>
#include <string>
#include <stdio.h>
using namespace std;
int main(){
string s;
cin>>s;
if(s.find("575"))printf("YES\n");
else printf("NO\n");
}