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