(defun main (&rest argv)
  (declare (ignorable argv))
  (let* ((n (read)))
    (format t "~f~%" (* n 3.5d0))))

(main)