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


(format 't "~f~%" (* 3.5 n ))