package yukicoder; import java.util.Scanner; import java.util.regex.Matcher; import java.util.regex.Pattern; public class No558 { public static void main(String[] args) { String str = new Scanner(System.in).next(); Pattern p = Pattern.compile(".+575.+"); Matcher m = p.matcher(str); System.out.println(m.find() ? "YES" : "NO"); } }