print(io.read("*n") * 3.5)