N = int(input())
print(3.5 * N)