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)); } }