(defvar temp)
(setq temp (read-from-string (concatenate 'string "(" (read-line) ")" )))
(format t "~d~%" (- (nth 0 temp) (- (nth 1 temp))))