void main(){
  import std.stdio, std.string, std.conv, std.algorithm;
  import std.range;

  string s; rd(s);
  if(find(s, "575").empty){
    writeln("NO");
  }else{
    writeln("YES");
  }
}

void rd(T...)(ref T x){
  import std.stdio, std.string, std.conv;
  auto l=readln.split;
  foreach(i, ref e; x){
    e=l[i].to!(typeof(e));
  }
}