(defparameter A (parse-integer (read-line)))

(format t "~d~%" (if (<= A 14) -1 (- A 7)))