(defparameter N (parse-integer (read-line)))
(format t "~d~%" (* (+ (floor N 3) (floor N 5)) 2))