package net.ipipip0129.yukicoder.no558; import java.util.Scanner; public class Main { public static void main(String[] args) { System.out.println( new Scanner(System.in).nextLine().matches(".*575.*") ? "YES" : "NO" ); } }