n = int(input())
res = 3.5 * n
if res.is_integer():
    print(int(res))
else:
    print(res)