package main

import (
	"fmt"
	"strings"
)

func main() {
	var s string
	fmt.Scan(&s)
	i := strings.Index(s, "575")
	if i == -1 {
		fmt.Println("NO")
	} else {
		fmt.Println("YES")
	}
}