N = int(input())

ans = 3.5 * N
print(ans)