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

(format 't "~d~%" (- 2017 Y))