(define n (read))
(print (* n 3.5))