main :: IO ()
main = print . (* 3.5) =<< (readLn :: IO Double)