(defun main (&rest argv)
  (declare (ignorable argv))
  (let* ((s (read-line)))
    (princ (if (search "575" s)
               "YES"
               "NO"))
    (terpri)))
(main)