(defun main (&rest argv)
  (declare (ignorable argv))
  (let* ((c (read-char)))
    (format t "~a~%" (if (or (char= c #\4) (char= c #\5))
                         "Yes"
                         "No"))))

(main)