import java.util.*; import java.util.stream.Stream; import java.time.*; import java.time.format.*; public class No558 { public static void main(String[] args) { Scanner sc = new Scanner(System.in); String s = sc.next(); System.out.println(s.contains("575") ? "YES" : "NO"); } }