n = int(input())

r = n * 3.5
print(r)