package main

import (
  "bufio"
  "fmt"
  "os"
  "strings"
)

func main() {
  scaner := bufio.NewScanner(os.Stdin)
  scaner.Scan()
  input := scaner.Text()

  if strings.Contains(input, "575") {
    fmt.Printf("YES\n")
  } else {
    fmt.Printf("NO\n")
  }
}