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