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