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